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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - GulfOfOman
GulfOfOman(阿曼湾)

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


(connected GulfOfOman ArabianSea) Geography.kif 5161-5161 阿曼湾阿拉伯海connected
(externalImage GulfOfOman "http://upload.wikimedia.org/wikipedia/commons/ 5/ 53/ LocationGulf_of_Oman.png") pictureList.kif 2475-2475
(instance GulfOfOman Gulf) Geography.kif 5157-5157 阿曼湾海湾instance
(instance GulfOfOman SaltWaterArea) Geography.kif 5158-5158 阿曼湾盐水区instance

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


(connected StraitOfHormuz GulfOfOman) Geography.kif 5160-5160 霍尔木兹海峡阿曼湾connected
(meetsSpatially Iran GulfOfOman) Geography.kif 5162-5162 伊朗 接上 阿曼湾
(meetsSpatially Oman GulfOfOman) Geography.kif 5163-5163 阿曼 接上 阿曼湾
(names "Gulf of Oman" GulfOfOman) Geography.kif 5159-5159 阿曼湾 的名 是 "Gulf of Oman"
(termFormat ChineseLanguage GulfOfOman "阿曼湾") domainEnglishFormat.kif 27060-27060
(termFormat ChineseTraditionalLanguage GulfOfOman "阿曼灣") domainEnglishFormat.kif 27059-27059
(termFormat EnglishLanguage GulfOfOman "gulf of oman") domainEnglishFormat.kif 27058-27058


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