No TPTP formula. May not be expressible in strict first order. |
Economy.kif 771-771 |
资本主义经济 是 经济系统属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 857-857 |
中央计划经济 是 经济系统属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 831-831 |
公有土地所有权经济 是 经济系统属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 815-815 |
民主社会主义 是 经济系统属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 849-849 |
政府规制经济 是 经济系统属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 890-890 |
政府补贴经济 是 经济系统属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 793-793 |
市场经济 是 经济系统属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 828-828 |
市场社会主义 是 经济系统属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 834-834 |
混合经济 是 经济系统属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 883-883 |
国有化的工业经济 是 经济系统属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 846-846 |
部分市场经济 是 经济系统属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 787-787 |
私营企业经济 是 经济系统属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 872-872 |
私有化经济 是 经济系统属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 779-779 |
纯粹的资本主义经济 是 经济系统属性 的 instance |
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 800-800 |
社会主义经济 是 经济系统属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 897-897 |
福利资本主义 是 经济系统属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21198-21198 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21197-21197 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21196-21196 |
|