| PostalPlace(postal place) | | address |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26260-26262 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26259-26259 | Postal place is a subclass of contact site |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26258-26258 | Postal place is a subclass of localizable place |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26257-26257 | 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 26265-26265 | Military installation is a subclass of postal place |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26267-26267 | Place of commerce is a subclass of postal place |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26266-26266 | Residence is a subclass of postal place |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26263-26263 | Residence is a subclass of postal place |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26299-26299 | 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 26521-26521 | 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 26425-26425 | 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 26280-26280 | 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 26368-26368 | 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 26409-26409 | 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 26342-26342 | 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 26506-26506 | 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 26451-26451 | 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 26482-26482 | 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 26495-26495 | 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 26293-26293 | 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 24872-24872 | 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 26459-26464 | 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 26432-26437 | 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 26345-26350 | 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 26416-26421 | 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 26382-26389 | 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 |
|
|
|
|