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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - StraitOfHormuz

appearance as argument number 1

(connected StraitOfHormuz GulfOfOman) Geography.kif 5058-5058 霍尔木兹海峡阿曼湾connected
(externalImage StraitOfHormuz " 0/ 0d/ Persian_Gulf_map.png") pictureList.kif 3193-3193
(externalImage StraitOfHormuz " 9/ 92/ Strait_of_Hormuz.jpg") pictureList.kif 2989-2989
(instance StraitOfHormuz SaltWaterArea) Geography.kif 5211-5211 霍尔木兹海峡盐水区instance
(instance StraitOfHormuz Strait) Geography.kif 5210-5210 霍尔木兹海峡海峡instance

appearance as argument number 2

(connected PersianGulf StraitOfHormuz) Geography.kif 5052-5052 波斯湾霍尔木兹海峡connected
(names "Strait of Hormuz" StraitOfHormuz) Geography.kif 5212-5212 霍尔木兹海峡 的名 是 "Strait of Hormuz"
(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