TreeView Knowledge Base Browser - CentralAfrica

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - CentralAfrica

CentralAfrica(central africa)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5904-5904
No TPTP formula. May not be expressible in strict first order.	Geography.kif 139-139	Central africa is a geographic subregion of africa
No TPTP formula. May not be expressible in strict first order.	Geography.kif 186-186	Central africa is a geographic subregion of eastern hemisphere
No TPTP formula. May not be expressible in strict first order.	Geography.kif 78-78	Central africa is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 187-187	Central africa and northern hemisphere overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Geography.kif 188-188	Central africa and southern hemisphere overlapsSpatially

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 85-85	Burundi is a geographic subregion of central africa
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 87-87	Central african republic is a geographic subregion of central africa
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 89-89	Chad is a geographic subregion of central africa
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 91-91	Democratic republic of the congo is a geographic subregion of central africa
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 93-93	Rwanda is a geographic subregion of central africa
No TPTP formula. May not be expressible in strict first order.	Geography.kif 108-108	Central africa has name "Central Africa"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13770-13770
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13769-13769
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13768-13768

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