postPostcodeArea |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24785-24788 | |
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 24783-24783 | The number 2 argument of post postcode area is an instance of postcode area |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24780-24780 | post postcode area is an instance of asymmetric relation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24781-24781 | post postcode area is an instance of binary predicate |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24784-24784 | post postcode area is a subrelation of located |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4170-4170 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4169-4169 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4168-4168 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65909-65909 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24797-24802 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24804-24809 |
|
consequent |
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 |