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