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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - JerusalemIsrael

appearance as argument number 1

(capitalCity JerusalemIsrael Israel) CountriesAndRegions.kif 1837-1837
(documentation JerusalemIsrael EnglishLanguage "The capital and largest City in Israel. It is regarded as a holy city by Muslims, Jews, and Christians.") CountriesAndRegions.kif 1838-1839
(externalImage JerusalemIsrael " thumb/ 0/ 05/ Jerusalem_from_mt_olives.jpg/ 245px-Jerusalem_from_mt_olives.jpg") pictureList.kif 1381-1381
(geographicSubregion JerusalemIsrael Israel) CountriesAndRegions.kif 2978-2978
(instance JerusalemIsrael City) CountriesAndRegions.kif 1836-1836

appearance as argument number 2

(names "Jerusalem" JerusalemIsrael) CountriesAndRegions.kif 2996-2996
(termFormat ChineseLanguage JerusalemIsrael "耶路撒冷以色列") domainEnglishFormat.kif 31548-31548
(termFormat ChineseTraditionalLanguage JerusalemIsrael "耶路撒冷以色列") domainEnglishFormat.kif 31547-31547
(termFormat EnglishLanguage JerusalemIsrael "jerusalem israel") domainEnglishFormat.kif 31546-31546

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