No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2494-2494 |
阿達納土耳其 是 火雞 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2496-2496 |
亞的斯亞貝巴埃塞俄比亞 是 埃塞俄比亞 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2498-2498 |
腺也門 是 葉門 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2500-2500 |
阿多拉西岸 是 西方銀行 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 567-567 |
阿富汗 是 南亞 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3525-3525 |
非洲 是 東半球 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2502-2502 |
阿富拉以色列 是 以色列 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2504-2504 |
阿格里土耳其 是 火雞 的 geographic 次要地區 |
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 2510-2510 |
Ajaccio 法國 是 法國 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2512-2512 |
Al balamand 黎巴嫩 是 黎巴嫩 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 370-370 |
阿爾巴尼亞 是 東南歐 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2514-2514 |
Alei sinai 加沙地帶 是 加沙地帶 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2516-2516 |
Alei zahav 西方銀行 是 西方銀行 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2518-2518 |
阿萊黎巴嫩 是 黎巴嫩 的 geographic 次要地區 |
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 2520-2520 |
阿爾及爾,阿爾及利亞 是 阿爾及利亞 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2522-2522 |
烷烴蒙古包俄羅斯 是 俄國 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2524-2524 |
Alon 是 西方銀行 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2526-2526 |
安汶印度尼西亞 是 印度尼西亞 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 659-659 |
美國薩摩亞 是 大洋洲 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2528-2528 |
安曼,約旦 是 約旦 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2530-2530 |
一個 nuwaydirat 巴林 是 巴林 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2532-2532 |
安第斯西班牙 是 西班牙 的 geographic 次要地區 |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |