| PostalPlace(postal place) | | address |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24590-24592 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24589-24589 | Postal place is a subclass of contact site |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24588-24588 | Postal place is a subclass of localizable place |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24587-24587 | Postal place is a subclass of stationary artifact |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24595-24595 | 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 | Place of commerce is a subclass of postal place |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24596-24596 | Residence is a subclass of postal place |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24593-24593 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24629-24629 | The number 2 argument of floor code is an instance of postal place |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24851-24851 | The number 2 argument of post address text is an instance of postal place |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24755-24755 | The number 1 argument of post city is an instance of postal place |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24610-24610 | The number 1 argument of post contact site is an instance of postal place |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24698-24698 | The number 1 argument of post country is an instance of postal place |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24739-24739 | The number 1 argument of post district is an instance of postal place |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24672-24672 | The number 1 argument of post neighborhood is an instance of postal place |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24836-24836 | The number 2 argument of post post office box is an instance of postal place |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24781-24781 | The number 1 argument of post postcode area is an instance of postal place |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24812-24812 | The number 1 argument of post street is an instance of postal place |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24825-24825 | The number 2 argument of post street number is an instance of postal place |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24623-24623 | The number 2 argument of unit number is an instance of postal place |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23222-23222 | The number 1 argument of work address is an instance of postal place |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24789-24794 | A postal place is located at a postcode area and the postal place is an instance of postal place and the postcode area is an instance of postcode area if and only if the postal place is in post code the postcode area |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24762-24767 | A postal place is located at a city and the postal place is an instance of postal place and the city is an instance of city if and only if the postal place is in the city |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24675-24680 | A postal place is located at a neighborhood and the postal place is an instance of postal place and the neighborhood is an instance of neighborhood if and only if the postal place is in the neighborhood |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24746-24751 | A postal place is located at a state or province and the postal place is an instance of postal place and the state or province is an instance of state or province if and only if the postal place is in the state or province |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24712-24719 | A postal place is located at a geopolitical area and the postal place is an instance of postal place and the geopolitical area is an instance of nation or the geopolitical area is an instance of dependency or special sovereignty area if and only if the postal place is in the geopolitical area |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2035-2053 |
|
|
|
|