No TPTP formula. May not be expressible in strict first order. | Merge.kif 14244-14244 | City is a subclass of geopolitical area |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14245-14245 | City is a subclass of land area |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 837-837 | Port city is a subclass of city |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 35-35 | American city is a subclass of city |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 47-47 | European city is a subclass of city |