| CommunistState(communist state)
| | communism |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5926-5926 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6305-6305 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 184-184 | Communist state is an instance of form of government |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 328-328 | Communist state is a subattribute of authoritarian regime |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16074-16074 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16073-16073 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16072-16072 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 865-869 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2263-2269 |
|
|
|
|