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 24093-24095
(domain postDistrict 1 PostalPlace) Mid-level-ontology.kif 24090-24090 The number 1 argument of postDistrict is an instance of PostalPlace
(domain postDistrict 2 StateOrProvince) Mid-level-ontology.kif 24091-24091 The number 2 argument of postDistrict is an instance of state or province
(instance postDistrict AsymmetricRelation) Mid-level-ontology.kif 24088-24088 postDistrict is an instance of asymmetric relation
(instance postDistrict BinaryPredicate) Mid-level-ontology.kif 24089-24089 postDistrict is an instance of binary predicate
(subrelation postDistrict located) Mid-level-ontology.kif 24092-24092 postDistrict is a subrelation of located

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


(format ChineseLanguage postDistrict "%1 是在 %2 ") domainEnglishFormat.kif 4167-4167
(format ChineseTraditionalLanguage postDistrict "%1 是在 %2 ") domainEnglishFormat.kif 4166-4166
(format EnglishLanguage postDistrict "%1 is in %2") domainEnglishFormat.kif 4165-4165

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


(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (instance ?GEO StateOrProvince))
    (postDistrict ?PLACE ?GEO))		 Mid-level-ontology.kif 24097-24102 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 24072-24077
(=>
    (and
        (postNeighborhood ?PLACE ?NEIGHBORHOOD)
        (geographicSubregion ?NEIGHBORHOOD ?STATE)
        (instance ?STATE StateOrProvince))
    (postDistrict ?PLACE ?STATE))		 Mid-level-ontology.kif 24040-24045
(=>
    (and
        (postPostcodeArea ?PLACE ?AREA)
        (geographicSubregion ?AREA ?GEO)
        (instance ?GEO StateOrProvince))
    (postDistrict ?PLACE ?GEO))		 Mid-level-ontology.kif 24154-24159


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