postDistrict |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24743-24745 | |
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 24741-24741 | The number 2 argument of post district is an instance of state or province |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24738-24738 | post district is an instance of asymmetric relation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24739-24739 | post district is an instance of binary predicate |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24742-24742 | post district is a subrelation of located |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4162-4162 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4161-4161 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4160-4160 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65906-65906 |
consequent |
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 24722-24727 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24690-24695 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24804-24809 |
|