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 |
|