No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2506-2506 |
Ain defla 阿爾及利亞 是 阿爾及利亞 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2508-2508 |
Ain el hajar 阿爾及利亞 是 阿爾及利亞 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2520-2520 |
阿爾及爾,阿爾及利亞 是 阿爾及利亞 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2556-2556 |
Arzew 阿爾及利亞 是 阿爾及利亞 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2672-2672 |
布阿拉阿爾及利亞 是 阿爾及利亞 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2674-2674 |
Bouze guene 阿爾及利亞 是 阿爾及利亞 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2901-2901 |
哈米斯米利亞納阿爾及利亞 是 阿爾及利亞 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3061-3061 |
凱莉爾阿爾及利亞 是 阿爾及利亞 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3107-3107 |
拉爾巴阿爾及利亞 是 阿爾及利亞 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3116-3116 |
阿爾及利亞 les eucalyptus 地區 是 阿爾及利亞 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3339-3339 |
石油基地阿爾及利亞 是 阿爾及利亞 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3352-3352 |
奧蘭阿爾及利亞 是 阿爾及利亞 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3564-3564 |
塔梅茲圭達阿爾及利亞 是 阿爾及利亞 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3599-3599 |
蒂亞雷特阿爾及利亞 是 阿爾及利亞 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3601-3601 |
提拉阿爾及利亞 是 阿爾及利亞 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3946-3946 |
名 "Algeria" and 阿爾及利亞 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 6486-6486 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 6485-6485 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 6484-6484 |
|