No TPTP formula. May not be expressible in strict first order. |
Economy.kif 781-781 |
纯粹的资本主义经济 是 混合经济 的相反 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 808-808 |
纯粹的社会主义经济 是 混合经济 的相反 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 847-847 |
部分市场经济 是 混合经济 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 873-873 |
私有化经济 是 混合经济 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 898-898 |
福利资本主义 是 混合经济 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38097-38097 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38096-38096 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38095-38095 |
|