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 domain postDistrict, 1 and PostalPlace
(domain postDistrict 2 StateOrProvince) Mid-level-ontology.kif 24091-24091 domain postDistrict, 2 and StateOrProvince
(instance postDistrict AsymmetricRelation) Mid-level-ontology.kif 24088-24088 instance postDistrict and AsymmetricRelation
(instance postDistrict BinaryPredicate) Mid-level-ontology.kif 24089-24089 instance postDistrict and BinaryPredicate
(subrelation postDistrict located) Mid-level-ontology.kif 24092-24092 subrelation postDistrict and 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 located PostalPlace and StateOrProvince instance PostalPlace and PostalPlace instance StateOrProvince and StateOrProvince postDistrict PostalPlace and StateOrProvince
(=>
    (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