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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - NaharaimIsrael
NaharaimIsrael(naharaim israel)

appearance as argument number 1
-------------------------


(documentation NaharaimIsrael EnglishLanguage "The City of Naharaim in Israel.") CountriesAndRegions.kif 2095-2095
(geographicSubregion NaharaimIsrael Israel) CountriesAndRegions.kif 3280-3280 Naharaim israel is a geographic subregion of israel
(instance NaharaimIsrael City) CountriesAndRegions.kif 2094-2094 Naharaim israel is an instance of city

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


(names "Naharaim" NaharaimIsrael) CountriesAndRegions.kif 3281-3281 Naharaim israel has name "Naharaim"
(termFormat ChineseLanguage NaharaimIsrael "纳哈拉姆以色列") domainEnglishFormat.kif 39597-39597
(termFormat ChineseTraditionalLanguage NaharaimIsrael "納哈拉姆以色列") domainEnglishFormat.kif 39596-39596
(termFormat EnglishLanguage NaharaimIsrael "naharaim israel") domainEnglishFormat.kif 39595-39595


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