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 26407-26409
(domain postDistrict 1 PostalPlace) Mid-level-ontology.kif 26404-26404 Le nombre 1 argument de postDistrict est une instance de PostalPlace
(domain postDistrict 2 StateOrProvince) Mid-level-ontology.kif 26405-26405 Le nombre 2 argument de postDistrict est une instance de Etat ou province
(instance postDistrict AsymmetricRelation) Mid-level-ontology.kif 26402-26402 postDistrict est une instance de relation asym�trique
(instance postDistrict BinaryPredicate) Mid-level-ontology.kif 26403-26403 postDistrict est une instance de pr�dicat binaire
(subrelation postDistrict located) Mid-level-ontology.kif 26406-26406 postDistrict est une sous-relation de 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 26411-26416 PostalPlace est situ� � Etat ou province PostalPlace est une instance de PostalPlace Etat ou province est une instance de Etat ou province postDistrict PostalPlace and Etat ou province
(=>
    (and
        (postCity ?PLACE ?CITY)
        (geographicSubregion ?CITY ?AREA)
        (instance ?AREA StateOrProvince))
    (postDistrict ?PLACE ?AREA))
Mid-level-ontology.kif 26386-26391
(=>
    (and
        (postNeighborhood ?PLACE ?NEIGHBORHOOD)
        (geographicSubregion ?NEIGHBORHOOD ?STATE)
        (instance ?STATE StateOrProvince))
    (postDistrict ?PLACE ?STATE))
Mid-level-ontology.kif 26354-26359
(=>
    (and
        (postPostcodeArea ?PLACE ?AREA)
        (geographicSubregion ?AREA ?GEO)
        (instance ?GEO StateOrProvince))
    (postDistrict ?PLACE ?GEO))
Mid-level-ontology.kif 26468-26473


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