No TPTP formula. May not be expressible in strict first order. |
Economy.kif 832-832 |
CommunalLandOwnershipEconomy est un sous-attribut de SocialistEconomy |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 816-816 |
DemocraticSocialism est un sous-attribut de SocialistEconomy |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 807-807 |
PureSocialistEconomy est un sous-attribut de SocialistEconomy |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53632-53632 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53631-53631 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53630-53630 |
|