No TPTP formula. May not be expressible in strict first order. |
Economy.kif 781-781 |
相反的屬性 純粹的資本主義經濟 and 混合經濟 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 808-808 |
相反的屬性 純粹的社會主義經濟 and 混合經濟 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 847-847 |
子屬性 部分市場經濟 and 混合經濟 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 873-873 |
子屬性 私有化經濟 and 混合經濟 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 898-898 |
子屬性 福利資本主義 and 混合經濟 |
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 |
|