SocialistEconomy - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 802-804
No TPTP formula. May not be expressible in strict first order.	Economy.kif 800-800	社会主义经济是经济系统属性的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Economy.kif 832-832	公有土地所有权经济是社会主义经济的 subAttribute
No TPTP formula. May not be expressible in strict first order.	Economy.kif 816-816	民主社会主义是社会主义经济的 subAttribute
No TPTP formula. May not be expressible in strict first order.	Economy.kif 807-807	纯粹的社会主义经济是社会主义经济的 subAttribute
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53630-53630
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53629-53629
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53628-53628