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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - HawanaIraq
HawanaIraq

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


(documentation HawanaIraq EnglishLanguage "The City of Hawana in Iraq.") CountriesAndRegions.kif 1785-1785
(geographicSubregion HawanaIraq Iraq) CountriesAndRegions.kif 2913-2913 geographicSubregion HawanaIraq and Iraq
(instance HawanaIraq City) CountriesAndRegions.kif 1784-1784 HawanaIraq est une instance de ville

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


(names "Hawana" HawanaIraq) CountriesAndRegions.kif 2914-2914 HawanaIraq s'appele nom "Hawana"
(termFormat ChineseLanguage HawanaIraq "哈瓦那伊拉克") domainEnglishFormat.kif 27636-27636
(termFormat ChineseTraditionalLanguage HawanaIraq "哈瓦那伊拉克") domainEnglishFormat.kif 27635-27635
(termFormat EnglishLanguage HawanaIraq "hawana iraq") domainEnglishFormat.kif 27634-27634


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