|
|
  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 3485-3485 | 例 促進私營企業 and 關注的區域 |
| appearance as argument number 2 |
|
|
| 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. | domainEnglishFormat.kif 47716-47716 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47715-47715 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47714-47714 |
|
|
|
