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 | Le nombre 1 argument de postPostcodeArea est une instance de PostalPlace |
(domain postPostcodeArea 2 PostcodeArea) | Mid-level-ontology.kif 26445-26445 | Le nombre 2 argument de postPostcodeArea est une instance de PostcodeArea |
(instance postPostcodeArea AsymmetricRelation) | Mid-level-ontology.kif 26442-26442 | postPostcodeArea est une instance de relation asym�trique |
(instance postPostcodeArea BinaryPredicate) | Mid-level-ontology.kif 26443-26443 | postPostcodeArea est une instance de pr�dicat binaire |
(subrelation postPostcodeArea located) | Mid-level-ontology.kif 26446-26446 | postPostcodeArea est une sous-relation de 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 | PostalPlace est situ� � PostcodeArea PostalPlace est une instance de PostalPlace PostcodeArea est une instance de PostcodeArea postPostcodeArea PostalPlace and PostcodeArea |
![]() |
![]() |