No TPTP formula. May not be expressible in strict first order. |
Government.kif 3531-3531 |
天 22 and 月 July and 年 1944 是 國際貨幣基金組織 的成立 date |
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5634-5634 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3528-3528 |
例 國際貨幣基金組織 and 國際組織 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3533-3533 |
經濟發展 是 國際貨幣基金組織 的 organizational 目標 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3534-3534 |
貨幣穩定 是 國際貨幣基金組織 的 organizational 目標 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3078-3078 |
子組織 國際貨幣基金組織 and 經濟和社會理事會 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3532-3532 |
子組織 國際貨幣基金組織 and 聯合國 |