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 5905-5905
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 is overlapsSpatially
No TPTP formula. May not be expressible in strict first order. Geography.kif 188-188 Central africa and southern hemisphere is 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 13773-13773
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13772-13772
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13771-13771


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