American City
| Basic: |
| An American city is a type of city and U.S. city or county. |
| An American city is a type of city, organized by country. |
| Documentation: |
| Comment: A specialization of City each instance of which is a city, town, or village in the UnitedStatesOfAmerica . Instances of #$USCity include CityOfAustinTX, CityOfGainesvilleFL, and CityOfLongBeachCA. |
| Structure: |
| Every American city is in some US county. |
| Miscellaneous: |
| Every American city is in some U.S. state. If some U.S. state is a U.S. state and some city is in that U.S. state, then that city must be an American city. |
| Every American city is part of the United States. The concept "American city" is conceptually related to the concept "the United States". |
| No American city is a country. |