| InternationalBankForReconstructionAndDevelopment(國際重建和發展銀行)
|
| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3414-3414 | 天 22 and 月 July and 年 1944 是 國際重建和發展銀行 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5626-5626 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3410-3410 | 例 國際重建和發展銀行 and 國際組織 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3415-3415 | 經濟發展 是 國際重建和發展銀行 的 organizational 目標 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3105-3105 | 子組織 國際重建和發展銀行 and 經濟和社會理事會 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3416-3416 | 子組織 國際重建和發展銀行 and 聯合國 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4319-4319 | 子組織 國際重建和發展銀行 and 世界銀行集團 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3413-3413 | 國際重建和發展銀行 是 "IBRD" 的簡稱 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3411-3411 | 國際重建和發展銀行 是 "International Bank for Reconstruction and Development" 的 conventional 全名 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3412-3412 | 國際重建和發展銀行 是 "World Bank" 的 conventional 簡稱 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30505-30505 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30504-30504 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30503-30503 |
|
|
|