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	例社會主義經濟 and 經濟系統屬性

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Economy.kif 832-832	子屬性公有土地所有權經濟 and 社會主義經濟
No TPTP formula. May not be expressible in strict first order.	Economy.kif 816-816	子屬性民主社會主義 and 社會主義經濟
No TPTP formula. May not be expressible in strict first order.	Economy.kif 807-807	子屬性純粹的社會主義經濟 and 社會主義經濟
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