NorthernAfrica - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - NorthernAfrica

NorthernAfrica(northern africa)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6734-6734
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7455-7455
No TPTP formula. May not be expressible in strict first order.	Geography.kif 141-141	Northern africa is a geographic subregion of africa
No TPTP formula. May not be expressible in strict first order.	Geography.kif 196-196	Northern africa is a geographic subregion of northern hemisphere
No TPTP formula. May not be expressible in strict first order.	Geography.kif 80-80	Northern africa is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 194-194	Northern africa and eastern hemisphere overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Geography.kif 195-195	Northern africa and western hemisphere overlapsSpatially

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 116-116	Algeria is a geographic subregion of northern africa
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 118-118	Egypt is a geographic subregion of northern africa
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 120-120	Libya is a geographic subregion of northern africa
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 122-122	Mauritania is a geographic subregion of northern africa
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 124-124	Morocco is a geographic subregion of northern africa
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 127-127	Sudan is a geographic subregion of northern africa
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 129-129	Tunisia is a geographic subregion of northern africa
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 131-131	Western sahara is a geographic subregion of northern africa
No TPTP formula. May not be expressible in strict first order.	Geography.kif 110-110	Northern africa has name "Northern Africa"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41025-41025
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41024-41024
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41023-41023

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