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 5160-5160
(externalImage StraitOfHormuz "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0d/ Persian_Gulf_map.png") pictureList.kif 3191-3191
(externalImage StraitOfHormuz "http://upload.wikimedia.org/wikipedia/commons/ 9/ 92/ Strait_of_Hormuz.jpg") pictureList.kif 2987-2987
(instance StraitOfHormuz SaltWaterArea) Geography.kif 5313-5313
(instance StraitOfHormuz Strait) Geography.kif 5312-5312

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


(connected PersianGulf StraitOfHormuz) Geography.kif 5154-5154
(names "Strait of Hormuz" StraitOfHormuz) Geography.kif 5314-5314
(termFormat ChineseLanguage StraitOfHormuz "霍尔木兹海峡") domainEnglishFormat.kif 55577-55577
(termFormat ChineseTraditionalLanguage StraitOfHormuz "霍爾木茲海峽") domainEnglishFormat.kif 55576-55576
(termFormat EnglishLanguage StraitOfHormuz "strait of hormuz") domainEnglishFormat.kif 55575-55575


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