No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2495-2495 |
阿达纳土耳其 的名 是 "Adana" |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2497-2497 |
亚的斯亚贝巴埃塞俄比亚 的名 是 "Addis Ababa" |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2499-2499 |
腺也门 的名 是 "Aden" |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2501-2501 |
阿多拉西岸 的名 是 "Adora" |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 352-352 |
发达的先进国家 的名 是 "Advanced Developing Country" |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 4160-4160 |
阿富汗 的名 是 "Afghanistan" |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3522-3522 |
非洲 的名 是 "Africa" |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2503-2503 |
阿富拉以色列 的名 是 "Afula" |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2505-2505 |
阿格里土耳其 的名 是 "Agri" |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2507-2507 |
Ain defla 阿尔及利亚 的名 是 "Ain Defla" |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2509-2509 |
Ain el hajar 阿尔及利亚 的名 是 "Ain el Hajar" |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2511-2511 |
Ajaccio 法国 的名 是 "Ajaccio" |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2513-2513 |
Al balamand 黎巴嫩 的名 是 "Al-Balamand " |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 4064-4064 |
阿尔巴尼亚 的名 是 "Albania" |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2515-2515 |
Alei sinai 加沙地帶 的名 是 "Alei Sinai" |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2517-2517 |
Alei zahav 西方银行 的名 是 "Alei Zahav" |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2519-2519 |
阿莱黎巴嫩 的名 是 "Aley" |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3946-3946 |
阿尔及利亚 的名 是 "Algeria" |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2521-2521 |
阿尔及尔,阿尔及利亚 的名 是 "Algiers" |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2523-2523 |
烷烃蒙古包俄罗斯 的名 是 "Alkhan-Yurt" |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2525-2525 |
Alon 的名 是 "Alon Moreh" |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2527-2527 |
安汶印度尼西亚 的名 是 "Ambon" |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 813-813 |
美式足球赛 的名 是 "American Football" |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 4194-4194 |
美国萨摩亚 的名 是 "American Samoa" |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2529-2529 |
安曼,约旦 的名 是 "Amman" |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |