CommunistState
|
|
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 |
|