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

Formal Language: 


KB Term:  Term intersection
English Word: 

  postDistrict

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 26405-26407
(domain postDistrict 1 PostalPlace) Mid-level-ontology.kif 26402-26402 The number 1 argument of post district is an instance of postal place
(domain postDistrict 2 StateOrProvince) Mid-level-ontology.kif 26403-26403 The number 2 argument of post district is an instance of state or province
(instance postDistrict AsymmetricRelation) Mid-level-ontology.kif 26400-26400 post district is an instance of asymmetric relation
(instance postDistrict BinaryPredicate) Mid-level-ontology.kif 26401-26401 post district is an instance of binary predicate
(subrelation postDistrict located) Mid-level-ontology.kif 26404-26404 post district is a subrelation of located

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


(format ChineseLanguage postDistrict "%1 是在 %2 ") domainEnglishFormat.kif 4166-4166
(format ChineseTraditionalLanguage postDistrict "%1 是在 %2 ") domainEnglishFormat.kif 4165-4165
(format EnglishLanguage postDistrict "%1 is in %2") domainEnglishFormat.kif 4164-4164
(termFormat EnglishLanguage postDistrict "post district") domainEnglishFormat.kif 65924-65924

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


(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (instance ?GEO StateOrProvince))
    (postDistrict ?PLACE ?GEO))
Mid-level-ontology.kif 26409-26414 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 26384-26389
(=>
    (and
        (postNeighborhood ?PLACE ?NEIGHBORHOOD)
        (geographicSubregion ?NEIGHBORHOOD ?STATE)
        (instance ?STATE StateOrProvince))
    (postDistrict ?PLACE ?STATE))
Mid-level-ontology.kif 26352-26357
(=>
    (and
        (postPostcodeArea ?PLACE ?AREA)
        (geographicSubregion ?AREA ?GEO)
        (instance ?GEO StateOrProvince))
    (postDistrict ?PLACE ?GEO))
Mid-level-ontology.kif 26466-26471


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