| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14266-14266 | Cidade e' uma sub-classe de Area Geopolitica |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14267-14267 | Cidade e' uma sub-classe de Area terrestre |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 837-837 | PortCity e' uma sub-classe de Cidade |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 35-35 | AmericanCity e' uma sub-classe de Cidade |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 47-47 | EuropeanCity e' uma sub-classe de Cidade |
|
|