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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - KedumimWestBank
KedumimWestBank

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


(documentation KedumimWestBank EnglishLanguage "The City of Kedumim in WestBank.") CountriesAndRegions.kif 1881-1881
(geographicSubregion KedumimWestBank WestBank) CountriesAndRegions.kif 3038-3038 geographicSubregion KedumimWestBank and WestBank
(instance KedumimWestBank City) CountriesAndRegions.kif 1880-1880 KedumimWestBank est une instance de ville

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


(names "Kedumim" KedumimWestBank) CountriesAndRegions.kif 3039-3039 KedumimWestBank s'appele nom "Kedumim"
(termFormat ChineseLanguage KedumimWestBank "kedumim西岸") domainEnglishFormat.kif 32275-32275
(termFormat ChineseTraditionalLanguage KedumimWestBank "kedumim西岸") domainEnglishFormat.kif 32274-32274
(termFormat EnglishLanguage KedumimWestBank "kedumim west bank") domainEnglishFormat.kif 32273-32273


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