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 22506-22508
(domain postDistrict 1 PostalPlace) Mid-level-ontology.kif 22503-22503 The number 1 argument of postDistrict is an instance of PostalPlace
(domain postDistrict 2 StateOrProvince) Mid-level-ontology.kif 22504-22504 The number 2 argument of postDistrict is an instance of state or province
(instance postDistrict AsymmetricRelation) Mid-level-ontology.kif 22501-22501 postDistrict is an instance of asymmetric relation
(instance postDistrict BinaryPredicate) Mid-level-ontology.kif 22502-22502 postDistrict is an instance of binary predicate
(subrelation postDistrict located) Mid-level-ontology.kif 22505-22505 postDistrict is a subrelation of located

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


(format EnglishLanguage postDistrict "%1 is in %2") domainEnglishFormat.kif 1050-1050

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


(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (instance ?GEO StateOrProvince))
    (postDistrict ?PLACE ?GEO))
Mid-level-ontology.kif 22510-22515 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 22485-22490
(=>
    (and
        (postNeighborhood ?PLACE ?NEIGHBORHOOD)
        (geographicSubregion ?NEIGHBORHOOD ?STATE)
        (instance ?STATE StateOrProvince))
    (postDistrict ?PLACE ?STATE))
Mid-level-ontology.kif 22453-22458
(=>
    (and
        (postPostcodeArea ?PLACE ?AREA)
        (geographicSubregion ?AREA ?GEO)
        (instance ?GEO StateOrProvince))
    (postDistrict ?PLACE ?GEO))
Mid-level-ontology.kif 22567-22572


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