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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - GulfOfOman

appearance as argument number 1

(connected GulfOfOman ArabianSea) Geography.kif 5059-5059 阿曼湾阿拉伯海connected
(externalImage GulfOfOman " 5/ 53/ LocationGulf_of_Oman.png") pictureList.kif 2476-2476
(instance GulfOfOman Gulf) Geography.kif 5055-5055 阿曼湾海湾instance
(instance GulfOfOman SaltWaterArea) Geography.kif 5056-5056 阿曼湾盐水区instance

appearance as argument number 2

(connected StraitOfHormuz GulfOfOman) Geography.kif 5058-5058 霍尔木兹海峡阿曼湾connected
(meetsSpatially Iran GulfOfOman) Geography.kif 5060-5060 伊朗 接上 阿曼湾
(meetsSpatially Oman GulfOfOman) Geography.kif 5061-5061 阿曼 接上 阿曼湾
(names "Gulf of Oman" GulfOfOman) Geography.kif 5057-5057 阿曼湾 的名 是 "Gulf of Oman"
(termFormat ChineseLanguage GulfOfOman "阿曼湾") domainEnglishFormat.kif 27051-27051
(termFormat ChineseTraditionalLanguage GulfOfOman "阿曼灣") domainEnglishFormat.kif 27050-27050
(termFormat EnglishLanguage GulfOfOman "gulf of oman") domainEnglishFormat.kif 27049-27049

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