AuthoritarianRegime
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 336-336 | Authoritarian regime is the opposite of multiparty democracy |
No TPTP formula. May not be expressible in strict first order. | Government.kif 321-323 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 181-181 | Authoritarian regime is an instance of form of government |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 285-285 | Federal government is the opposite of authoritarian regime |
No TPTP formula. May not be expressible in strict first order. | Government.kif 327-327 | Absolute monarchy is a subattribute of authoritarian regime |
No TPTP formula. May not be expressible in strict first order. | Government.kif 329-329 | Authoritarian socialist is a subattribute of authoritarian regime |
No TPTP formula. May not be expressible in strict first order. | Government.kif 328-328 | Communist state is a subattribute of authoritarian regime |
No TPTP formula. May not be expressible in strict first order. | Government.kif 325-325 | Dictatorship is a subattribute of authoritarian regime |
No TPTP formula. May not be expressible in strict first order. | Government.kif 330-330 | Theocratic government is a subattribute of authoritarian regime |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 9144-9144 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 9143-9143 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 9142-9142 |