No TPTP formula. May not be expressible in strict first order. |
Government.kif 3453-3453 |
天 26 and 月 January and 年 1960 是 國際發展協會 的成立 date |
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5631-5631 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3450-3450 |
例 國際發展協會 and 國際組織 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3455-3455 |
經濟發展 是 國際發展協會 的 organizational 目標 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3073-3073 |
子組織 國際發展協會 and 經濟和社會理事會 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3454-3454 |
子組織 國際發展協會 and 聯合國 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4284-4284 |
子組織 國際發展協會 and 世界銀行集團 |