| PromotePrivateEnterprise(促进私营企业)
|
| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11680-11680 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10208-10208 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11678-11678 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11679-11679 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3521-3521 | 促进私营企业 是 关注的区域 的 instance |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3522-3522 | 促进私营企业 是 国际金融公司 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47714-47714 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47713-47713 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47712-47712 |
|
|
|