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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - HaifaIsrael
HaifaIsrael

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


(documentation HaifaIsrael EnglishLanguage "The City of Haifa in Israel.") CountriesAndRegions.kif 1769-1769
(externalImage HaifaIsrael "http://upload.wikimedia.org/wikipedia/commons/ 7/ 7a/ Haifa_coa.svg") pictureList.kif 3510-3510
(externalImage HaifaIsrael "http://upload.wikimedia.org/wikipedia/commons/ 8/ 8b/ Bahai_Gardens.JPG") pictureList.kif 3507-3507
(externalImage HaifaIsrael "http://upload.wikimedia.org/wikipedia/commons/ d/ d5/ Haifa_Shrine_and_Port.jpg") pictureList.kif 3331-3331
(externalImage HaifaIsrael "http://upload.wikimedia.org/wikipedia/en/8/85/ JPF-MtCarmel-Haifa.JPG") pictureList.kif 3508-3508
(geographicSubregion HaifaIsrael Israel) CountriesAndRegions.kif 2897-2897
(instance HaifaIsrael PortCity) CountriesAndRegions.kif 1768-1768

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


(names "Haifa" HaifaIsrael) CountriesAndRegions.kif 2898-2898
(termFormat ChineseLanguage HaifaIsrael "海法以色列") domainEnglishFormat.kif 27177-27177
(termFormat ChineseTraditionalLanguage HaifaIsrael "海法以色列") domainEnglishFormat.kif 27176-27176
(termFormat EnglishLanguage HaifaIsrael "haifa israel") domainEnglishFormat.kif 27175-27175


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