| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24645-24645 | PostalPlace est une sous-classe de artefact stationnaire |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24646-24646 | PostalPlace est une sous-classe de LocalizablePlace |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24647-24647 | PostalPlace est une sous-classe de ContactSite |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24653-24653 | MilitaryInstallation est une sous-classe de PostalPlace |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24654-24654 | Residence est une sous-classe de PostalPlace |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24655-24655 | PlaceOfCommerce est une sous-classe de PostalPlace |
|
|