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 22548-22551
(domain postPostcodeArea 1 PostalPlace) Mid-level-ontology.kif 22545-22545
(domain postPostcodeArea 2 PostcodeArea) Mid-level-ontology.kif 22546-22546
(instance postPostcodeArea AsymmetricRelation) Mid-level-ontology.kif 22543-22543
(instance postPostcodeArea BinaryPredicate) Mid-level-ontology.kif 22544-22544
(subrelation postPostcodeArea located) Mid-level-ontology.kif 22547-22547

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


(format EnglishLanguage postPostcodeArea "%1 is in post code %2") domainEnglishFormat.kif 1052-1052

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


(=>
    (and
        (postPostcodeArea ?PLACE ?AREA)
        (geographicSubregion ?AREA ?CITY)
        (instance ?CITY City))
    (postCity ?PLACE ?CITY))
Mid-level-ontology.kif 22560-22565
(=>
    (and
        (postPostcodeArea ?PLACE ?AREA)
        (geographicSubregion ?AREA ?GEO)
        (instance ?GEO StateOrProvince))
    (postDistrict ?PLACE ?GEO))
Mid-level-ontology.kif 22567-22572

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


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


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