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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BaleEthiopia

 Sigma KEE - BaleEthiopia
BaleEthiopia(大包埃塞俄比亞)

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1497-1497
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5221-5221
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5105-5105
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5222-5222
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2596-2596 大包埃塞俄比亞 是 埃塞俄比亞 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1496-1496 例 大包埃塞俄比亞 and City

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2597-2597 名 "Bale" and 大包埃塞俄比亞
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9660-9660
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9659-9659
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9658-9658


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