No TPTP formula. May not be expressible in strict first order. |
Government.kif 3489-3489 |
26 Day 是 国际发展协会 的成立 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 3486-3486 |
国际发展协会 是 国际组织 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3491-3491 |
经济发展 是 国际发展协会 的 organizational 目标 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3109-3109 |
国际发展协会 是 经济和社会理事会 Organization 的一部分 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3490-3490 |
国际发展协会 是 联合国 Organization 的一部分 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4320-4320 |
国际发展协会 是 世界银行集团 Organization 的一部分 |