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 809-809 |
纯粹的社会主义经济 是 纯粹的资本主义经济 的相反 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 811-813 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 806-806 |
纯粹的社会主义经济 是 经济系统属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 807-807 |
纯粹的社会主义经济 是 社会主义经济 的 subAttribute |