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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - JerusalemPalestine
JerusalemPalestine(Jerusalem Palestine)

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


(capitalCity JerusalemPalestine WestBank) CountriesAndRegions.kif 2980-2980 West bank is a capital city of Jerusalem Palestine
(documentation JerusalemPalestine EnglishLanguage "The capital and largest City in the WestBank It is regarded as a holy city by Muslims, Jews, and Christians.") CountriesAndRegions.kif 2982-2984
(externalImage JerusalemPalestine "http://upload.wikimedia.org/wikipedia/ commons/ thumb/ 0/ 05/ Jerusalem_from_mt_olives.jpg/ 245px-Jerusalem_from_mt_olives.jpg") CountriesAndRegions.kif 2986-2988
(geographicSubregion JerusalemPalestine WestBank) CountriesAndRegions.kif 2979-2979 Jerusalem Palestine is a geographic subregion of west bank
(instance JerusalemPalestine City) CountriesAndRegions.kif 2991-2991 Jerusalem Palestine is an instance of city

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


(names "Jerusalem" JerusalemPalestine) CountriesAndRegions.kif 2993-2993 Jerusalem Palestine has name "Jerusalem"
(termFormat EnglishLanguage JerusalemPalestine "Jerusalem Palestine") CountriesAndRegions.kif 2995-2995


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