postPostcodeArea |
appearance as argument number 1 |
![]() |
(documentation postPostcodeArea EnglishLanguage "(postPostcodeArea ?PostalPlace ?PostcodeArea) means that ?PostalPlace is located in ?PostcodeArea.") | Mid-level-ontology.kif 26447-26450 | |
(domain postPostcodeArea 1 PostalPlace) | Mid-level-ontology.kif 26444-26444 | The number 1 argument of post postcode area is an instance of postal place |
(domain postPostcodeArea 2 PostcodeArea) | Mid-level-ontology.kif 26445-26445 | The number 2 argument of post postcode area is an instance of postcode area |
(instance postPostcodeArea AsymmetricRelation) | Mid-level-ontology.kif 26442-26442 | post postcode area is an instance of asymmetric relation |
(instance postPostcodeArea BinaryPredicate) | Mid-level-ontology.kif 26443-26443 | post postcode area is an instance of binary predicate |
(subrelation postPostcodeArea located) | Mid-level-ontology.kif 26446-26446 | post postcode area is a subrelation of located |
appearance as argument number 2 |
![]() |
(format ChineseLanguage postPostcodeArea "%1 是在 post code %2 ") | domainEnglishFormat.kif 4174-4174 | |
(format ChineseTraditionalLanguage postPostcodeArea "%1 是在 post code %2 ") | domainEnglishFormat.kif 4173-4173 | |
(format EnglishLanguage postPostcodeArea "%1 is in post code %2") | domainEnglishFormat.kif 4172-4172 | |
(termFormat EnglishLanguage postPostcodeArea "post postcode area") | domainEnglishFormat.kif 65927-65927 |
antecedent |
![]() |
(=> (and (postPostcodeArea ?PLACE ?AREA) (geographicSubregion ?AREA ?CITY) (instance ?CITY City)) (postCity ?PLACE ?CITY)) |
Mid-level-ontology.kif 26459-26464 |
|
(=> (and (postPostcodeArea ?PLACE ?AREA) (geographicSubregion ?AREA ?GEO) (instance ?GEO StateOrProvince)) (postDistrict ?PLACE ?GEO)) |
Mid-level-ontology.kif 26466-26471 |
|
consequent |
![]() |
(<=> (and (located ?PLACE ?AREA) (instance ?PLACE PostalPlace) (instance ?AREA PostcodeArea)) (postPostcodeArea ?PLACE ?AREA)) |
Mid-level-ontology.kif 26452-26457 | 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 |
![]() |
![]() |