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 22580-22583
(domain postPostcodeArea 1 PostalPlace) Mid-level-ontology.kif 22577-22577
(domain postPostcodeArea 2 PostcodeArea) Mid-level-ontology.kif 22578-22578
(instance postPostcodeArea AsymmetricRelation) Mid-level-ontology.kif 22575-22575
(instance postPostcodeArea BinaryPredicate) Mid-level-ontology.kif 22576-22576
(subrelation postPostcodeArea located) Mid-level-ontology.kif 22579-22579

appearance as argument number 2
-------------------------


(format ChineseLanguage postPostcodeArea "%1 是在 post code %2 ") domainEnglishFormat.kif 4171-4171
(format ChineseTraditionalLanguage postPostcodeArea "%1 是在 post code %2 ") domainEnglishFormat.kif 4170-4170
(format EnglishLanguage postPostcodeArea "%1 is in post code %2") domainEnglishFormat.kif 4169-4169

antecedent
-------------------------


(=>
    (and
        (postPostcodeArea ?PLACE ?AREA)
        (geographicSubregion ?AREA ?CITY)
        (instance ?CITY City))
    (postCity ?PLACE ?CITY))
Mid-level-ontology.kif 22592-22597
(=>
    (and
        (postPostcodeArea ?PLACE ?AREA)
        (geographicSubregion ?AREA ?GEO)
        (instance ?GEO StateOrProvince))
    (postDistrict ?PLACE ?GEO))
Mid-level-ontology.kif 22599-22604

consequent
-------------------------


(<=>
    (and
        (located ?PLACE ?AREA)
        (instance ?PLACE PostalPlace)
        (instance ?AREA PostcodeArea))
    (postPostcodeArea ?PLACE ?AREA))
Mid-level-ontology.kif 22585-22590


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners