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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Hominid

 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 24743-24745
(domain postDistrict 1 PostalPlace) Mid-level-ontology.kif 24740-24740 Il numero 1 argomenti di postDistrict è un istanza di PostalPlace
(domain postDistrict 2 StateOrProvince) Mid-level-ontology.kif 24741-24741 Il numero 2 argomenti di postDistrict è un istanza di StatoOProvincia
(instance postDistrict AsymmetricRelation) Mid-level-ontology.kif 24738-24738 postDistrict è un' istanza di RelazioneAsimmetrica
(instance postDistrict BinaryPredicate) Mid-level-ontology.kif 24739-24739 postDistrict è un' istanza di PredicatoBinario
(subrelation postDistrict located) Mid-level-ontology.kif 24742-24742 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 24747-24752 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 24722-24727
(=>
    (and
        (postNeighborhood ?PLACE ?NEIGHBORHOOD)
        (geographicSubregion ?NEIGHBORHOOD ?STATE)
        (instance ?STATE StateOrProvince))
    (postDistrict ?PLACE ?STATE))		 Mid-level-ontology.kif 24690-24695
(=>
    (and
        (postPostcodeArea ?PLACE ?AREA)
        (geographicSubregion ?AREA ?GEO)
        (instance ?GEO StateOrProvince))
    (postDistrict ?PLACE ?GEO))		 Mid-level-ontology.kif 24804-24809


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