No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 116-116 |
阿爾及利亞 是 北非 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 118-118 |
埃及 是 北非 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 120-120 |
利比亞 是 北非 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 122-122 |
毛里塔尼亞 是 北非 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 124-124 |
摩洛哥 是 北非 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 127-127 |
蘇丹 是 北非 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 129-129 |
突尼斯 是 北非 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 131-131 |
西撒哈拉 是 北非 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 110-110 |
名 "Northern Africa" and 北非 |
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 |
|