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 24742-24744
(domain postDistrict 1 PostalPlace) Mid-level-ontology.kif 24739-24739 Il numero 1 argomenti di postDistrict è un istanza di PostalPlace
(domain postDistrict 2 StateOrProvince) Mid-level-ontology.kif 24740-24740 Il numero 2 argomenti di postDistrict è un istanza di StatoOProvincia
(instance postDistrict AsymmetricRelation) Mid-level-ontology.kif 24737-24737 postDistrict è un' istanza di RelazioneAsimmetrica
(instance postDistrict BinaryPredicate) Mid-level-ontology.kif 24738-24738 postDistrict è un' istanza di PredicatoBinario
(subrelation postDistrict located) Mid-level-ontology.kif 24741-24741 postDistrict è una sottorelazione di 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 65906-65906

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


(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (instance ?GEO StateOrProvince))
    (postDistrict ?PLACE ?GEO))
Mid-level-ontology.kif 24746-24751 PostalPlace è localizzato in StatoOProvincia PostalPlace è un' istanza di PostalPlace StatoOProvincia è un' istanza di StatoOProvincia postDistrict PostalPlace and StatoOProvincia
(=>
    (and
        (postCity ?PLACE ?CITY)
        (geographicSubregion ?CITY ?AREA)
        (instance ?AREA StateOrProvince))
    (postDistrict ?PLACE ?AREA))
Mid-level-ontology.kif 24721-24726
(=>
    (and
        (postNeighborhood ?PLACE ?NEIGHBORHOOD)
        (geographicSubregion ?NEIGHBORHOOD ?STATE)
        (instance ?STATE StateOrProvince))
    (postDistrict ?PLACE ?STATE))
Mid-level-ontology.kif 24689-24694
(=>
    (and
        (postPostcodeArea ?PLACE ?AREA)
        (geographicSubregion ?AREA ?GEO)
        (instance ?GEO StateOrProvince))
    (postDistrict ?PLACE ?GEO))
Mid-level-ontology.kif 24803-24808


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