postCountry |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24702-24705 | |
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 24700-24700 | The number 2 argument of post country is an instance of geopolitical area |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24697-24697 | post country is an instance of asymmetric relation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24698-24698 | post country is an instance of binary predicate |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24701-24701 | post country is a subrelation of located |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4158-4158 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4157-4157 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4156-4156 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65905-65905 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24707-24711 |
|
consequent |
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 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24729-24736 |
|