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 25031-25033
(domain postDistrict 1 PostalPlace) Mid-level-ontology.kif 25028-25028 The number 1 argument of post district is an instance of postal place
(domain postDistrict 2 StateOrProvince) Mid-level-ontology.kif 25029-25029 The number 2 argument of post district is an instance of state or province
(instance postDistrict AsymmetricRelation) Mid-level-ontology.kif 25026-25026 post district is an instance of asymmetric relation
(instance postDistrict BinaryPredicate) Mid-level-ontology.kif 25027-25027 post district is an instance of binary predicate
(subrelation postDistrict located) Mid-level-ontology.kif 25030-25030 post district is a subrelation of located

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


(format ChineseLanguage postDistrict "%1 是在 %2 ") domainEnglishFormat.kif 4162-4162
(format ChineseTraditionalLanguage postDistrict "%1 是在 %2 ") domainEnglishFormat.kif 4161-4161
(format EnglishLanguage postDistrict "%1 is in %2") domainEnglishFormat.kif 4160-4160
(termFormat EnglishLanguage postDistrict "post district") domainEnglishFormat.kif 65963-65963

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


(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (instance ?GEO StateOrProvince))
    (postDistrict ?PLACE ?GEO))		 Mid-level-ontology.kif 25035-25040 A postal place is located at a state or province and the postal place is an instance of postal place and the state or province is an instance of state or province if and only if the postal place is in the state or province
(=>
    (and
        (postCity ?PLACE ?CITY)
        (geographicSubregion ?CITY ?AREA)
        (instance ?AREA StateOrProvince))
    (postDistrict ?PLACE ?AREA))		 Mid-level-ontology.kif 25010-25015
(=>
    (and
        (postNeighborhood ?PLACE ?NEIGHBORHOOD)
        (geographicSubregion ?NEIGHBORHOOD ?STATE)
        (instance ?STATE StateOrProvince))
    (postDistrict ?PLACE ?STATE))		 Mid-level-ontology.kif 24978-24983
(=>
    (and
        (postPostcodeArea ?PLACE ?AREA)
        (geographicSubregion ?AREA ?GEO)
        (instance ?GEO StateOrProvince))
    (postDistrict ?PLACE ?GEO))		 Mid-level-ontology.kif 25092-25097


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 3.0 is open source software produced by Articulate Software and its partners