|
|
  CentrallyPlannedEconomy
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 855-858 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 852-852 | Centrally planned economy is an instance of economic system attribute |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 853-853 | Centrally planned economy is a subattribute of government regulated economy |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13875-13875 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13874-13874 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13873-13873 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 860-864 |
|
|
|
|