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 externalImage GulfOfOman and " LocationGulf_of_Oman.png"
(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 26989-26989 termFormat ChineseLanguage, GulfOfOman and "阿曼湾"
(termFormat ChineseTraditionalLanguage GulfOfOman "阿曼灣") domainEnglishFormat.kif 26988-26988 termFormat ChineseTraditionalLanguage, GulfOfOman and "阿曼灣"
(termFormat EnglishLanguage GulfOfOman "gulf of oman") domainEnglishFormat.kif 26987-26987 termFormat EnglishLanguage, GulfOfOman and "gulf of oman"

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners