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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - WesternAfrica
WesternAfrica(western africa)

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 8262-8262
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6976-6976
No TPTP formula. May not be expressible in strict first order. Geography.kif 143-143 Western africa is a geographic subregion of africa
No TPTP formula. May not be expressible in strict first order. Geography.kif 82-82 Western africa is an instance of geographic area
No TPTP formula. May not be expressible in strict first order. Geography.kif 201-201 Western africa and eastern hemisphere is overlapsSpatially
No TPTP formula. May not be expressible in strict first order. Geography.kif 203-203 Western africa and northern hemisphere is overlapsSpatially
No TPTP formula. May not be expressible in strict first order. Geography.kif 204-204 Western africa and southern hemisphere is overlapsSpatially
No TPTP formula. May not be expressible in strict first order. Geography.kif 202-202 Western africa and western hemisphere is overlapsSpatially

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 191-191 Benin is a geographic subregion of western africa
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 193-193 Burkina faso is a geographic subregion of western africa
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 195-195 Cameroon is a geographic subregion of western africa
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 197-197 Cape verde is a geographic subregion of western africa
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 199-199 CoteD ivoire is a geographic subregion of western africa
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 201-201 Equatorial guinea is a geographic subregion of western africa
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 203-203 Gabon is a geographic subregion of western africa
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 205-205 Gambia is a geographic subregion of western africa
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 207-207 Ghana is a geographic subregion of western africa
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 209-209 Guinea is a geographic subregion of western africa
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 211-211 Guinea bissau is a geographic subregion of western africa
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 213-213 Liberia is a geographic subregion of western africa
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 215-215 Mali is a geographic subregion of western africa
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 217-217 Niger is a geographic subregion of western africa
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 219-219 Nigeria is a geographic subregion of western africa
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 221-221 Sao tome and principe is a geographic subregion of western africa
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 223-223 Senegal is a geographic subregion of western africa
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 225-225 Sierra leone is a geographic subregion of western africa
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 227-227 Togo is a geographic subregion of western africa
No TPTP formula. May not be expressible in strict first order. Geography.kif 112-112 Western africa has name "Western Africa"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62718-62718
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62717-62717
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62716-62716

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 233-233 Saint helena is between south america and western africa


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