postPostcodeArea - Sigma Knowledge base Browser

appearance as argument number 1

(documentation postPostcodeArea EnglishLanguage "(postPostcodeArea ?PostalPlace ?PostcodeArea) means that ?PostalPlace is located in ?PostcodeArea.")	Mid-level-ontology.kif 22623-22626
(domain postPostcodeArea 1 PostalPlace)	Mid-level-ontology.kif 22620-22620
(domain postPostcodeArea 2 PostcodeArea)	Mid-level-ontology.kif 22621-22621
(instance postPostcodeArea AsymmetricRelation)	Mid-level-ontology.kif 22618-22618
(instance postPostcodeArea BinaryPredicate)	Mid-level-ontology.kif 22619-22619
(subrelation postPostcodeArea located)	Mid-level-ontology.kif 22622-22622

appearance as argument number 2

(format ChineseLanguage postPostcodeArea "%1 是在 post code %2 ")	domainEnglishFormat.kif 4175-4175
(format ChineseTraditionalLanguage postPostcodeArea "%1 是在 post code %2 ")	domainEnglishFormat.kif 4174-4174
(format EnglishLanguage postPostcodeArea "%1 is in post code %2")	domainEnglishFormat.kif 4173-4173

antecedent

(=> (and (postPostcodeArea ?PLACE ?AREA) (geographicSubregion ?AREA ?CITY) (instance ?CITY City)) (postCity ?PLACE ?CITY))	Mid-level-ontology.kif 22635-22640
(=> (and (postPostcodeArea ?PLACE ?AREA) (geographicSubregion ?AREA ?GEO) (instance ?GEO StateOrProvince)) (postDistrict ?PLACE ?GEO))	Mid-level-ontology.kif 22642-22647

consequent

(<=>
    (and
        (located ?PLACE ?AREA)
        (instance ?PLACE PostalPlace)
        (instance ?AREA PostcodeArea))
    (postPostcodeArea ?PLACE ?AREA))

Mid-level-ontology.kif 22628-22633