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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - HaifaIsrael

appearance as argument number 1

(documentation HaifaIsrael EnglishLanguage "The City of Haifa in Israel.") CountriesAndRegions.kif 1769-1769
(externalImage HaifaIsrael " 7/ 7a/ Haifa_coa.svg") pictureList.kif 3509-3509
(externalImage HaifaIsrael " 8/ 8b/ Bahai_Gardens.JPG") pictureList.kif 3506-3506
(externalImage HaifaIsrael " d/ d5/ Haifa_Shrine_and_Port.jpg") pictureList.kif 3330-3330
(externalImage HaifaIsrael " JPF-MtCarmel-Haifa.JPG") pictureList.kif 3507-3507
(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 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