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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - PersianGulf

appearance as argument number 1

(connected PersianGulf StraitOfHormuz) Geography.kif 4832-4832 connected PersianGulf and StraitOfHormuz
(externalImage PersianGulf " 0/ 0d/ Persian_Gulf_map.png") pictureList.kif 2505-2505 externalImage PersianGulf and " Persian_Gulf_map.png"
(externalImage PersianGulf " 6/ 63/ Persian_Gulf_EN.PNG") pictureList.kif 4794-4794 externalImage PersianGulf and " Persian_Gulf_EN.PNG"
(instance PersianGulf Gulf) Geography.kif 4829-4829 instance PersianGulf and Gulf
(instance PersianGulf SaltWaterArea) Geography.kif 4830-4830 instance PersianGulf and SaltWaterArea

appearance as argument number 2

(connected IndianOcean PersianGulf) Geography.kif 4361-4361 connected IndianOcean and PersianGulf
(meetsSpatially Iran PersianGulf) Geography.kif 4833-4833 meetsSpatially Iran and PersianGulf
(names "Persian Gulf" PersianGulf) Geography.kif 4831-4831 names "Persian Gulf" and PersianGulf
(termFormat ChineseLanguage PersianGulf "波斯湾") domainEnglishFormat.kif 45211-45211 termFormat ChineseLanguage, PersianGulf and "波斯湾"
(termFormat ChineseTraditionalLanguage PersianGulf "波斯灣") domainEnglishFormat.kif 45210-45210 termFormat ChineseTraditionalLanguage, PersianGulf and "波斯灣"
(termFormat EnglishLanguage PersianGulf "persian gulf") domainEnglishFormat.kif 45209-45209 termFormat EnglishLanguage, PersianGulf and "persian gulf"

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