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 4839-4839 connected GulfOfOman and ArabianSea
(externalImage GulfOfOman " 5/ 53/ LocationGulf_of_Oman.png") pictureList.kif 2476-2476
(instance GulfOfOman Gulf) Geography.kif 4835-4835 instance GulfOfOman and Gulf
(instance GulfOfOman SaltWaterArea) Geography.kif 4836-4836 instance GulfOfOman and SaltWaterArea

appearance as argument number 2

(connected StraitOfHormuz GulfOfOman) Geography.kif 4838-4838 connected StraitOfHormuz and GulfOfOman
(meetsSpatially Iran GulfOfOman) Geography.kif 4840-4840 meetsSpatially Iran and GulfOfOman
(meetsSpatially Oman GulfOfOman) Geography.kif 4841-4841 meetsSpatially Oman and GulfOfOman
(names "Gulf of Oman" GulfOfOman) Geography.kif 4837-4837 names "Gulf of Oman" and GulfOfOman
(termFormat ChineseLanguage GulfOfOman "阿曼湾") domainEnglishFormat.kif 26983-26983
(termFormat ChineseTraditionalLanguage GulfOfOman "阿曼灣") domainEnglishFormat.kif 26982-26982
(termFormat EnglishLanguage GulfOfOman "gulf of oman") domainEnglishFormat.kif 26981-26981

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