| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14244-14244 | Ville est une sous-classe de secteur g�opolitique |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14245-14245 | Ville est une sous-classe de zone de terre |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 837-837 | PortCity est une sous-classe de ville |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 35-35 | AmericanCity est une sous-classe de ville |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 47-47 | EuropeanCity est une sous-classe de ville |
|
|