Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - postPostcodeArea
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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners