| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24588-24588 | Postal place is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24589-24589 | Postal place is a subclass of localizable place |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24590-24590 | Postal place is a subclass of contact site |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24596-24596 | Military installation is a subclass of postal place |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24597-24597 | Residence is a subclass of postal place |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24598-24598 | Place of commerce is a subclass of postal place |
|
|