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 53630-53630 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53629-53629 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53628-53628 |
|