TreeView Knowledge Base Browser - BaleEthiopia

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - BaleEthiopia

BaleEthiopia(bale ethiopia)

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	Bale ethiopia is a geographic subregion of ethiopia
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1496-1496	Bale ethiopia is an instance of city

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2597-2597	Bale ethiopia has name "Bale"
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