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 |