| No TPTP formula. May not be expressible in strict first order. |
Government.kif 2837-2837 |
東盟區域論壇 是 "ASEAN Regional Forum" 的 conventional 全名 |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 3695-3695 |
非洲統一組織 是 "African Union" 的 conventional 全名 |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 2710-2710 |
非洲加勒比和太平洋國家集團 是 "African, Caribbean, and Pacific Group of States" 的 conventional 全名 |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 2724-2724 |
法語社區的代理機構 是 "Agency for the French_Speaking Community" 的 conventional 全名 |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 2736-2736 |
在拉丁美洲和加勒比地區禁止核武器的機構 是 "Agency for the Prohibition of Nuclear Weapons in Latin America and the Caribbean" 的 conventional 全名 |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 2745-2745 |
安第斯國際社會 是 "Andean Community of Nations" 的 conventional 全名 |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 2762-2762 |
南極條約理事會 是 "Antarctic Treaty Council" 的 conventional 全名 |
| No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3179-3179 |
南極條約 是 "Antarctic Treaty" 的 conventional 全名 |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 2770-2770 |
阿拉伯非洲經濟發展銀行 是 "Arab Bank for Economic Development in Africa" 的 conventional 全名 |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 2778-2778 |
阿拉伯合作理事會 是 "Arab Cooperation Council" 的 conventional 全名 |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 2784-2784 |
阿拉伯經濟和社會發展基金 是 "Arab Fund for Economic and Social Development" 的 conventional 全名 |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 2791-2791 |
阿拉伯聯盟 是 "Arab League" 的 conventional 全名 |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 2802-2802 |
阿拉伯馬格里布聯盟 是 "Arab Maghreb Union" 的 conventional 全名 |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 2811-2811 |
阿拉伯貨幣基金 是 "Arab Monetary Fund" 的 conventional 全名 |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 2817-2817 |
亞太經濟合作 是 "Asia_Pacific Economic Cooperation" 的 conventional 全名 |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 2823-2823 |
亞洲開發銀行 是 "Asian Development Bank" 的 conventional 全名 |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 2829-2829 |
東南亞國家聯盟 是 "Association of Southeast Asian Nations" 的 conventional 全名 |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 2844-2844 |
澳大利亞集團 是 "Australia Group" 的 conventional 全名 |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 2849-2849 |
澳大利亞新西蘭美國安全條約 是 "Australia_New Zealand_United States Security Treaty" 的 conventional 全名 |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 2855-2855 |
國際結算銀行 是 "Bank for International Settlements" 的 conventional 全名 |
| No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3234-3235 |
危險廢物公約 是 "Basel Convention on the Control of Transboundary Movements of Hazardous Wastes and Their Disposal" 的 conventional 全名 |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 2861-2861 |
比荷盧經濟聯盟 是 "Benelux Economic Union" 的 conventional 全名 |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 2870-2870 |
大七 是 "Big Seven" 的 conventional 全名 |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 2875-2875 |
大六 是 "Big Six" 的 conventional 全名 |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 2881-2881 |
黑海經濟合作區 是 "Black Sea Economic Cooperation Zone" 的 conventional 全名 |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
