CapitalistEconomy - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 774-777
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10574-10574
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10575-10575
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10571-10571
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10573-10573
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9922-9922
No TPTP formula. May not be expressible in strict first order.	Economy.kif 771-771	Capitalist economy is an instance of economic system attribute
No TPTP formula. May not be expressible in strict first order.	Economy.kif 772-772	Capitalist economy is a subattribute of private enterprise economy

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Economy.kif 780-780	Pure capitalist economy is a subattribute of capitalist economy
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13098-13098
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13097-13097
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13096-13096