WesternAfrica - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8261-8261
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6975-6975
No TPTP formula. May not be expressible in strict first order.	Geography.kif 143-143	西非是非洲的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	Geography.kif 82-82	例西非 and GeographicArea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 201-201	在空間上重疊西非 and 東半球
No TPTP formula. May not be expressible in strict first order.	Geography.kif 203-203	在空間上重疊西非 and 北半球
No TPTP formula. May not be expressible in strict first order.	Geography.kif 204-204	在空間上重疊西非 and 南半球
No TPTP formula. May not be expressible in strict first order.	Geography.kif 202-202	在空間上重疊西非 and 西半球

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 191-191	貝寧是西非的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 193-193	布基納法索是西非的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 195-195	喀麥隆是西非的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 197-197	佛得角是西非的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 199-199	科特迪瓦科特迪瓦是西非的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 201-201	赤道幾內亞是西非的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 203-203	加蓬是西非的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 205-205	岡比亞是西非的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 207-207	加納是西非的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 209-209	幾內亞是西非的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 211-211	幾內亞比紹是西非的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 213-213	利比里亞是西非的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 215-215	馬里是西非的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 217-217	尼日爾是西非的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 219-219	尼日利亞是西非的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 221-221	聖多美和普林西比是西非的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 223-223	塞內加爾是西非的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 225-225	塞拉利昂是西非的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 227-227	多哥是西非的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	Geography.kif 112-112	名 "Western Africa" and 西非
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62751-62751
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62750-62750
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62749-62749

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.

CountriesAndRegions.kif 233-233

之間南美洲, 聖海倫娜 and 西非

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

KB Term:			Term intersection

English Word: