MixedEconomy - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 836-844
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6704-6704
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7345-7345
No TPTP formula. May not be expressible in strict first order.	Economy.kif 834-834	混合经济是经济系统属性的 instance

appearance as argument number 2

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