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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - StraitOfHormuz
StraitOfHormuz

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


(connected StraitOfHormuz GulfOfOman) Geography.kif 5058-5058
(externalImage StraitOfHormuz "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0d/ Persian_Gulf_map.png") pictureList.kif 3193-3193
(externalImage StraitOfHormuz "http://upload.wikimedia.org/wikipedia/commons/ 9/ 92/ Strait_of_Hormuz.jpg") pictureList.kif 2989-2989
(instance StraitOfHormuz SaltWaterArea) Geography.kif 5211-5211
(instance StraitOfHormuz Strait) Geography.kif 5210-5210

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


(connected PersianGulf StraitOfHormuz) Geography.kif 5052-5052
(names "Strait of Hormuz" StraitOfHormuz) Geography.kif 5212-5212
(termFormat ChineseLanguage StraitOfHormuz "霍尔木兹海峡") domainEnglishFormat.kif 55521-55521
(termFormat ChineseTraditionalLanguage StraitOfHormuz "霍爾木茲海峽") domainEnglishFormat.kif 55520-55520
(termFormat EnglishLanguage StraitOfHormuz "strait of hormuz") domainEnglishFormat.kif 55519-55519


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