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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CarmelIsrael
CarmelIsrael(carmel israel)

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


(documentation CarmelIsrael EnglishLanguage "The City of Carmel in Israel.") CountriesAndRegions.kif 1597-1597
(externalImage CarmelIsrael "http://upload.wikimedia.org/wikipedia/commons/ 1/ 13/ Mount-carmel-1894.jpg") pictureList.kif 9923-9923
(externalImage CarmelIsrael "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6e/ TerracesBenGurion2.jpg") pictureList.kif 10576-10576
(externalImage CarmelIsrael "http://upload.wikimedia.org/wikipedia/commons/ 7/ 70/ JPF-Cave_Of_Elijah.JPG") pictureList.kif 10577-10577
(externalImage CarmelIsrael "http://upload.wikimedia.org/wikipedia/commons/ d/ df/ NOren_ST_05.jpg") pictureList.kif 10578-10578
(geographicSubregion CarmelIsrael Israel) CountriesAndRegions.kif 2705-2705 Carmel israel is a geographic subregion of israel
(instance CarmelIsrael City) CountriesAndRegions.kif 1596-1596 Carmel israel is an instance of city

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


(names "Carmel" CarmelIsrael) CountriesAndRegions.kif 2706-2706 Carmel israel has name "Carmel"
(termFormat ChineseLanguage CarmelIsrael "卡梅尔以色列") domainEnglishFormat.kif 13306-13306 Carmel israel has name "Carmel"
(termFormat ChineseTraditionalLanguage CarmelIsrael "卡梅爾以色列") domainEnglishFormat.kif 13305-13305 Carmel israel has name "Carmel"
(termFormat EnglishLanguage CarmelIsrael "carmel israel") domainEnglishFormat.kif 13304-13304 Carmel israel has name "Carmel"


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