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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ArabianSea
ArabianSea

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


(externalImage ArabianSea "http://upload.wikimedia.org/wikipedia/commons/ 4/ 41/ Arabian_Sea_map.png") pictureList.kif 939-939
(instance ArabianSea Sea) Geography.kif 4809-4809

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


(connected GulfOfAden ArabianSea) Geography.kif 5169-5169
(connected GulfOfOman ArabianSea) Geography.kif 5161-5161
(termFormat ChineseLanguage ArabianSea "阿拉伯海") domainEnglishFormat.kif 8112-8112
(termFormat ChineseTraditionalLanguage ArabianSea "阿拉伯海") domainEnglishFormat.kif 8111-8111
(termFormat EnglishLanguage ArabianSea "arabian sea") domainEnglishFormat.kif 8110-8110


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