No TPTP formula. May not be expressible in strict first order. |
Economy.kif 832-832 |
CommunalLandOwnershipEconomy e' um sub-atributo de SocialistEconomy |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 816-816 |
DemocraticSocialism e' um sub-atributo de SocialistEconomy |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 807-807 |
PureSocialistEconomy e' um sub-atributo 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 |
|