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 22592-22595
(domain postPostcodeArea 1 PostalPlace) Mid-level-ontology.kif 22589-22589 The number 1 argument of postPostcodeArea is an instance of PostalPlace
(domain postPostcodeArea 2 PostcodeArea) Mid-level-ontology.kif 22590-22590 The number 2 argument of postPostcodeArea is an instance of PostcodeArea
(instance postPostcodeArea AsymmetricRelation) Mid-level-ontology.kif 22587-22587 postPostcodeArea is an instance of asymmetric relation
(instance postPostcodeArea BinaryPredicate) Mid-level-ontology.kif 22588-22588 postPostcodeArea is an instance of binary predicate
(subrelation postPostcodeArea located) Mid-level-ontology.kif 22591-22591 postPostcodeArea is a subrelation of located

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 22604-22609
(=>
    (and
        (postPostcodeArea ?PLACE ?AREA)
        (geographicSubregion ?AREA ?GEO)
        (instance ?GEO StateOrProvince))
    (postDistrict ?PLACE ?GEO))
Mid-level-ontology.kif 22611-22616

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


(<=>
    (and
        (located ?PLACE ?AREA)
        (instance ?PLACE PostalPlace)
        (instance ?AREA PostcodeArea))
    (postPostcodeArea ?PLACE ?AREA))
Mid-level-ontology.kif 22597-22602 A PostalPlace is located at a PostcodeArea and the PostalPlace is an instance of PostalPlace and the PostcodeArea is an instance of PostcodeArea if and only if the PostalPlace is in post code the PostcodeArea


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