No TPTP formula. May not be expressible in strict first order. |
Economy.kif 781-781 |
PureCapitalistEconomy est l'oppos� de MixedEconomy |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 808-808 |
PureSocialistEconomy est l'oppos� de MixedEconomy |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 847-847 |
PartialMarketEconomy est un sous-attribut de MixedEconomy |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 873-873 |
PrivatizingEconomy est un sous-attribut de MixedEconomy |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 898-898 |
WelfareCapitalism est un sous-attribut de MixedEconomy |
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 |
|