No TPTP formula. May not be expressible in strict first order. |
Government.kif 3478-3478 |
25 Day 是 国际金融公司 的成立 date |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3481-3483 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3475-3475 |
国际金融公司 是 国际组织 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3486-3486 |
促进私营企业 是 国际金融公司 的 organizational 目标 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3074-3074 |
国际金融公司 是 经济和社会理事会 Organization 的一部分 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3479-3479 |
国际金融公司 是 联合国 Organization 的一部分 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4285-4285 |
国际金融公司 是 世界银行集团 Organization 的一部分 |