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

Formal Language: 



KB Term:  Term intersection
English Word: 

  EasternAfrica

 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 例 東非 and GeographicArea
No TPTP formula. May not be expressible in strict first order. Geography.kif 191-191 在空間上重疊 東非 and 北半球
No TPTP formula. May not be expressible in strict first order. Geography.kif 192-192 在空間上重疊 東非 and 南半球

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" and 東非
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 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