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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - GulfOfAden

appearance as argument number 1

(connected GulfOfAden ArabianSea) Geography.kif 4978-4978
(externalImage GulfOfAden " 3/ 3c/ GulfOfAden1860.jpg") pictureList.kif 2475-2475
(externalImage GulfOfAden " b/ b4/ Gulf_of_Aden.png") pictureList.kif 4711-4711
(instance GulfOfAden Gulf) Geography.kif 4974-4974
(instance GulfOfAden SaltWaterArea) Geography.kif 4975-4975

appearance as argument number 2

(connected RedSea GulfOfAden) Geography.kif 4977-4977
(meetsSpatially Somalia GulfOfAden) Geography.kif 4980-4980
(meetsSpatially Yemen GulfOfAden) Geography.kif 4979-4979
(names "Gulf of Aden" GulfOfAden) Geography.kif 4976-4976
(termFormat ChineseLanguage GulfOfAden "腺嘌呤") domainEnglishFormat.kif 27045-27045
(termFormat ChineseTraditionalLanguage GulfOfAden "腺嘌呤") domainEnglishFormat.kif 27044-27044
(termFormat EnglishLanguage GulfOfAden "gulf of aden") domainEnglishFormat.kif 27043-27043

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