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