No TPTP formula. May not be expressible in strict first order. |
Government.kif 2874-2874 |
东盟区域论坛 是 国际组织 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2747-2747 |
非洲加勒比和太平洋国家集团 是 国际组织 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2753-2753 |
非洲开发银行 是 国际组织 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2761-2761 |
法语社区的代理机构 是 国际组织 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2773-2773 |
在拉丁美洲和加勒比地区禁止核武器的机构 是 国际组织 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2782-2782 |
安第斯国际社会 是 国际组织 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2799-2799 |
南极条约理事会 是 国际组织 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2807-2807 |
阿拉伯非洲经济发展银行 是 国际组织 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2815-2815 |
阿拉伯合作理事会 是 国际组织 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2821-2821 |
阿拉伯经济和社会发展基金 是 国际组织 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2828-2828 |
阿拉伯联盟 是 国际组织 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2839-2839 |
阿拉伯马格里布联盟 是 国际组织 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2848-2848 |
阿拉伯货币基金 是 国际组织 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2854-2854 |
亚太经济合作 是 国际组织 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2860-2860 |
亚洲开发银行 是 国际组织 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2866-2866 |
东南亚国家联盟 是 国际组织 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2881-2881 |
澳大利亚集团 是 国际组织 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2886-2886 |
澳大利亚新西兰美国安全条约 是 国际组织 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2892-2892 |
国际结算银行 是 国际组织 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2898-2898 |
比荷卢经济联盟 是 国际组织 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2907-2907 |
大七 是 国际组织 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2912-2912 |
大六 是 国际组织 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2918-2918 |
黑海经济合作区 是 国际组织 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2925-2925 |
加勒比共同体和共同市场 是 国际组织 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2932-2932 |
加勒比开发银行 是 国际组织 的 instance |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |