No TPTP formula. May not be expressible in strict first order. |
Government.kif 2875-2875 |
东盟区域论坛 是 "ASEAN Regional Forum" 的 conventional 全名 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3733-3733 |
非洲统一组织 是 "African Union" 的 conventional 全名 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2748-2748 |
非洲加勒比和太平洋国家集团 是 "African, Caribbean, and Pacific Group of States" 的 conventional 全名 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2762-2762 |
法语社区的代理机构 是 "Agency for the French-Speaking Community" 的 conventional 全名 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2774-2774 |
在拉丁美洲和加勒比地区禁止核武器的机构 是 "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 2783-2783 |
安第斯国际社会 是 "Andean Community of Nations" 的 conventional 全名 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2800-2800 |
南极条约理事会 是 "Antarctic Treaty Council" 的 conventional 全名 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3191-3191 |
南极条约 是 "Antarctic Treaty" 的 conventional 全名 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2808-2808 |
阿拉伯非洲经济发展银行 是 "Arab Bank for Economic Development in Africa" 的 conventional 全名 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2816-2816 |
阿拉伯合作理事会 是 "Arab Cooperation Council" 的 conventional 全名 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2822-2822 |
阿拉伯经济和社会发展基金 是 "Arab Fund for Economic and Social Development" 的 conventional 全名 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2829-2829 |
阿拉伯联盟 是 "Arab League" 的 conventional 全名 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2840-2840 |
阿拉伯马格里布联盟 是 "Arab Maghreb Union" 的 conventional 全名 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2849-2849 |
阿拉伯货币基金 是 "Arab Monetary Fund" 的 conventional 全名 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2855-2855 |
亚太经济合作 是 "Asia-Pacific Economic Cooperation" 的 conventional 全名 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2861-2861 |
亚洲开发银行 是 "Asian Development Bank" 的 conventional 全名 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2867-2867 |
东南亚国家联盟 是 "Association of Southeast Asian Nations" 的 conventional 全名 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2882-2882 |
澳大利亚集团 是 "Australia Group" 的 conventional 全名 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2887-2887 |
澳大利亚新西兰美国安全条约 是 "Australia-New Zealand-United States Security Treaty" 的 conventional 全名 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2893-2893 |
国际结算银行 是 "Bank for International Settlements" 的 conventional 全名 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3246-3247 |
危险废物公约 是 "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 2899-2899 |
比荷卢经济联盟 是 "Benelux Economic Union" 的 conventional 全名 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2908-2908 |
大七 是 "Big Seven" 的 conventional 全名 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2913-2913 |
大六 是 "Big Six" 的 conventional 全名 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2919-2919 |
黑海经济合作区 是 "Black Sea Economic Cooperation Zone" 的 conventional 全名 |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |