No TPTP formula. May not be expressible in strict first order. |
Economy.kif 858-858 |
CentrallyPlannedEconomy e' um sub-atributo de GovernmentRegulatedEconomy |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 884-884 |
NationalizedIndustryEconomy e' um sub-atributo de GovernmentRegulatedEconomy |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26322-26322 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26321-26321 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26320-26320 |
|