TreeView Knowledge Base Browser

appearance as argument number 1

(instance postPostcodeArea AsymmetricRelation)	Mid-level-ontology.kif 27062-27062	post postcode area is an instance of asymmetric relation
(instance postPostcodeArea BinaryPredicate)	Mid-level-ontology.kif 27063-27063	post postcode area is an instance of binary predicate
(domain postPostcodeArea 1 PostalPlace)	Mid-level-ontology.kif 27064-27064	The number 1 argument of post postcode area is an instance of postal place
(domain postPostcodeArea 2 PostcodeArea)	Mid-level-ontology.kif 27065-27065	The number 2 argument of post postcode area is an instance of postcode area
(subrelation postPostcodeArea located)	Mid-level-ontology.kif 27066-27066	post postcode area is a subrelation of located
(documentation postPostcodeArea EnglishLanguage "(postPostcodeArea ?PostalPlace ?PostcodeArea) means that ?PostalPlace is located in ?PostcodeArea.")	Mid-level-ontology.kif 27067-27070	post postcode area is a subrelation of located

appearance as argument number 2

(format EnglishLanguage postPostcodeArea "%1 is in post code %2")	domainEnglishFormat.kif 4172-4172
(format ChineseTraditionalLanguage postPostcodeArea "%1 是在 post code %2 ")	domainEnglishFormat.kif 4173-4173
(format ChineseLanguage postPostcodeArea "%1 是在 post code %2 ")	domainEnglishFormat.kif 4174-4174
(termFormat EnglishLanguage postPostcodeArea "post postcode area")	domainEnglishFormat.kif 65936-65936

antecedent

(=> (and (postPostcodeArea ?PLACE ?AREA) (geographicSubregion ?AREA ?CITY) (instance ?CITY City)) (postCity ?PLACE ?CITY))	Mid-level-ontology.kif 27079-27084	If X is in post code Y, Y is a geographic subregion of Z, and Z is an instance of city, then X is in Z
(=> (and (postPostcodeArea ?PLACE ?AREA) (geographicSubregion ?AREA ?GEO) (instance ?GEO StateOrProvince)) (postDistrict ?PLACE ?GEO))	Mid-level-ontology.kif 27086-27091	If X is in post code Y, Y is a geographic subregion of Z, and Z is an instance of state or province, then X is in Z

consequent

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