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

Formal Language: 



KB Term:  Term intersection
English Word: 

  postPostcodeArea

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

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 22591-22596
(=>
    (and
        (postPostcodeArea ?PLACE ?AREA)
        (geographicSubregion ?AREA ?GEO)
        (instance ?GEO StateOrProvince))
    (postDistrict ?PLACE ?GEO))
Mid-level-ontology.kif 22598-22603

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


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


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

Show without tree


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