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 簡稱 |