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 3509-3509
(externalImage HaifaIsrael "http://upload.wikimedia.org/wikipedia/commons/ 8/ 8b/ Bahai_Gardens.JPG") pictureList.kif 3506-3506
(externalImage HaifaIsrael "http://upload.wikimedia.org/wikipedia/commons/ d/ d5/ Haifa_Shrine_and_Port.jpg") pictureList.kif 3330-3330
(externalImage HaifaIsrael "http://upload.wikimedia.org/wikipedia/en/8/85/ JPF-MtCarmel-Haifa.JPG") pictureList.kif 3507-3507
(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 27186-27186
(termFormat ChineseTraditionalLanguage HaifaIsrael "海法以色列") domainEnglishFormat.kif 27185-27185
(termFormat EnglishLanguage HaifaIsrael "haifa israel") domainEnglishFormat.kif 27184-27184


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