No TPTP formula. May not be expressible in strict first order. |
Government.kif 3604-3604 |
拉丁美洲一体化协会 是 "ALADI" 的 local 简称 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2720-2720 |
非洲开发银行 是 "BAD" 的 local 简称 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2775-2775 |
阿拉伯非洲经济发展银行 是 "BADEA" 的 local 简称 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3348-3348 |
美洲开发银行 是 "BID" 的 local 简称 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4261-4261 |
西非开发银行 是 "BOAD" 的 local 简称 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2741-2741 |
在拉丁美洲和加勒比地区禁止核武器的机构 是 "OPANAL" 的 local 简称 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3595-3595 |
拉丁美洲经济体系 是 "SELA" 的 local 简称 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4270-4270 |
西非经济和货币联盟 是 "WAEMU" 的 local 简称 |