No TPTP formula. May not be expressible in strict first order. |
Economy.kif 858-858 |
CentrallyPlannedEconomy est un sous-attribut de GovernmentRegulatedEconomy |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 884-884 |
NationalizedIndustryEconomy est un sous-attribut 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 |
|