|
|
  PureSocialistEconomy
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 808-808 | PureSocialistEconomy est l'oppos� de MixedEconomy |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 809-809 | PureSocialistEconomy est l'oppos� de PureCapitalistEconomy |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 811-813 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 806-806 | PureSocialistEconomy est une instance de EconomicSystemAttribute |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 807-807 | PureSocialistEconomy est un sous-attribut de SocialistEconomy |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 48176-48176 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 48175-48175 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 48174-48174 |
|
|
|