| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24587-24587 | PostalPlace e' uma sub-classe de Artefato Estacionario |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24588-24588 | PostalPlace e' uma sub-classe de LocalizablePlace |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24589-24589 | PostalPlace e' uma sub-classe de ContactSite |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24595-24595 | MilitaryInstallation e' uma sub-classe de PostalPlace |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24596-24596 | Residence e' uma sub-classe de PostalPlace |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24597-24597 | PlaceOfCommerce e' uma sub-classe de PostalPlace |
|
|