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	资本主义经济是经济系统属性的 instance
No TPTP formula. May not be expressible in strict first order.	Economy.kif 772-772	资本主义经济是私营企业经济的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Economy.kif 780-780	纯粹的资本主义经济是资本主义经济的 subAttribute
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