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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ArabianSea

Sigma KEE - ArabianSea
ArabianSea(arabian sea)
Arabian_Sea

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 Arabian sea is an instance of sea

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


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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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