| PostalPlace(postal place) | | address |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24591-24593 | |
| 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 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 24588-24588 | 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 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 24598-24598 | Place of commerce 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 24594-24594 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24630-24630 | 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 24852-24852 | 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 24756-24756 | 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 24611-24611 | 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 24699-24699 | 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 24740-24740 | 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 24673-24673 | 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 24837-24837 | 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 24782-24782 | 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 24813-24813 | 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 24826-24826 | 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 24624-24624 | 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 23223-23223 | 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 24790-24795 | 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 24763-24768 | 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 24676-24681 | 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 24747-24752 | 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 24713-24720 | 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 |
|
|
|
|