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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - postDistrict
postDistrict

appearance as argument number 1
-------------------------


(documentation postDistrict EnglishLanguage "(postDistrict ?PostalPlace ?StateOrProvince) means that ?PostalPlace is located in ?StateOrProvince.") Mid-level-ontology.kif 22550-22552
(domain postDistrict 1 PostalPlace) Mid-level-ontology.kif 22547-22547 The number 1 argument of postDistrict is an instance of PostalPlace
(domain postDistrict 2 StateOrProvince) Mid-level-ontology.kif 22548-22548 The number 2 argument of postDistrict is an instance of state or province
(instance postDistrict AsymmetricRelation) Mid-level-ontology.kif 22545-22545 postDistrict is an instance of asymmetric relation
(instance postDistrict BinaryPredicate) Mid-level-ontology.kif 22546-22546 postDistrict is an instance of binary predicate
(subrelation postDistrict located) Mid-level-ontology.kif 22549-22549 postDistrict is a subrelation of located

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


(format ChineseLanguage postDistrict "%1 是在 %2 ") domainEnglishFormat.kif 4163-4163
(format ChineseTraditionalLanguage postDistrict "%1 是在 %2 ") domainEnglishFormat.kif 4162-4162
(format EnglishLanguage postDistrict "%1 is in %2") domainEnglishFormat.kif 4161-4161

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


(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (instance ?GEO StateOrProvince))
    (postDistrict ?PLACE ?GEO))
Mid-level-ontology.kif 22554-22559 A PostalPlace is located at a state or province and the PostalPlace is an instance of PostalPlace and the state or province is an instance of state or province if and only if the PostalPlace is in the state or province
(=>
    (and
        (postCity ?PLACE ?CITY)
        (geographicSubregion ?CITY ?AREA)
        (instance ?AREA StateOrProvince))
    (postDistrict ?PLACE ?AREA))
Mid-level-ontology.kif 22529-22534
(=>
    (and
        (postNeighborhood ?PLACE ?NEIGHBORHOOD)
        (geographicSubregion ?NEIGHBORHOOD ?STATE)
        (instance ?STATE StateOrProvince))
    (postDistrict ?PLACE ?STATE))
Mid-level-ontology.kif 22497-22502
(=>
    (and
        (postPostcodeArea ?PLACE ?AREA)
        (geographicSubregion ?AREA ?GEO)
        (instance ?GEO StateOrProvince))
    (postDistrict ?PLACE ?GEO))
Mid-level-ontology.kif 22611-22616


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