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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - HaifaIsrael
HaifaIsrael(haifa israel)
Haifa, Hefa

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 3508-3508
(externalImage HaifaIsrael "http://upload.wikimedia.org/wikipedia/commons/ 8/ 8b/ Bahai_Gardens.JPG") pictureList.kif 3505-3505
(externalImage HaifaIsrael "http://upload.wikimedia.org/wikipedia/commons/ d/ d5/ Haifa_Shrine_and_Port.jpg") pictureList.kif 3329-3329
(externalImage HaifaIsrael "http://upload.wikimedia.org/wikipedia/en/8/85/ JPF_MtCarmel_Haifa.JPG") pictureList.kif 3506-3506
(geographicSubregion HaifaIsrael Israel) CountriesAndRegions.kif 2897-2897 Haifa israel is a geographic subregion of israel
(instance HaifaIsrael PortCity) CountriesAndRegions.kif 1768-1768 Haifa israel is an instance of port city

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


(names "Haifa" HaifaIsrael) CountriesAndRegions.kif 2898-2898 Haifa israel has name "Haifa"
(termFormat ChineseLanguage HaifaIsrael "海法以色列") domainEnglishFormat.kif 27214-27214 Haifa israel has name "Haifa"
(termFormat ChineseTraditionalLanguage HaifaIsrael "海法以色列") domainEnglishFormat.kif 27213-27213 Haifa israel has name "Haifa"
(termFormat EnglishLanguage HaifaIsrael "haifa israel") domainEnglishFormat.kif 27212-27212 Haifa israel has name "Haifa"


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