(subclass City GeopoliticalArea) | Merge.kif 14244-14244 | City is a subclass of geopolitical area |
(subclass City LandArea) | Merge.kif 14245-14245 | City is a subclass of land area |
(subclass PortCity City) | Transportation.kif 837-837 | Port city is a subclass of city |
(subclass AmericanCity City) | CountriesAndRegions.kif 35-35 | American city is a subclass of city |
(subclass EuropeanCity City) | CountriesAndRegions.kif 47-47 | European city is a subclass of city |