No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2495-2495 |
名 "Adana" and 阿達納土耳其 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2497-2497 |
名 "Addis Ababa" and 亞的斯亞貝巴埃塞俄比亞 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2499-2499 |
名 "Aden" and 腺也門 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2501-2501 |
名 "Adora" and 阿多拉西岸 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 352-352 |
名 "Advanced Developing Country" and 發達的先進國家 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 4160-4160 |
名 "Afghanistan" and 阿富汗 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3522-3522 |
名 "Africa" and 非洲 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2503-2503 |
名 "Afula" and 阿富拉以色列 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2505-2505 |
名 "Agri" and 阿格里土耳其 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2507-2507 |
名 "Ain Defla" and ain defla 阿爾及利亞 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2509-2509 |
名 "Ain el Hajar" and ain el hajar 阿爾及利亞 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2511-2511 |
名 "Ajaccio" and ajaccio 法國 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2513-2513 |
名 "Al-Balamand " and al balamand 黎巴嫩 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 4064-4064 |
名 "Albania" and 阿爾巴尼亞 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2515-2515 |
名 "Alei Sinai" and alei sinai 加沙地帶 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2517-2517 |
名 "Alei Zahav" and alei zahav 西方銀行 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2519-2519 |
名 "Aley" and 阿萊黎巴嫩 |
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. |
CountriesAndRegions.kif 2521-2521 |
名 "Algiers" and 阿爾及爾,阿爾及利亞 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2523-2523 |
名 "Alkhan-Yurt" and 烷烴蒙古包俄羅斯 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2525-2525 |
名 "Alon Moreh" and alon |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2527-2527 |
名 "Ambon" and 安汶印度尼西亞 |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 813-813 |
名 "American Football" and 美式足球赛 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 4194-4194 |
名 "American Samoa" and 美國薩摩亞 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2529-2529 |
名 "Amman" and 安曼,約旦 |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |