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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - EasternAfrica
EasternAfrica(东非)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. pictureList.kif 5972-5972
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6415-6415
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6414-6414
No TPTP formula. May not be expressible in strict first order. Geography.kif 140-140 东非 是 非洲 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. Geography.kif 190-190 东非 是 东半球 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. Geography.kif 79-79 东非 是 地理区域 的 instance
No TPTP formula. May not be expressible in strict first order. Geography.kif 191-191 东非 和 北半球 重叠
No TPTP formula. May not be expressible in strict first order. Geography.kif 192-192 东非 和 南半球 重叠

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 97-97 吉布提 是 东非 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 99-99 厄立特里亚 是 东非 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 101-101 埃塞俄比亚 是 东非 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 103-103 肯尼亚 是 东非 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 105-105 塞舌尔 是 东非 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 107-107 索马里 是 东非 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 109-109 坦桑尼亚 是 东非 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 111-111 乌干达 是 东非 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. Geography.kif 109-109 东非 的名 是 "Eastern Africa"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20838-20838
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20837-20837
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20836-20836


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