AuthoritarianRegime - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 336-336	相反的屬性威權政權 and 多黨民主
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	例威權政權 and 政體

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 285-285	相反的屬性聯邦政府 and 威權政權
No TPTP formula. May not be expressible in strict first order.	Government.kif 327-327	子屬性絕對君主制 and 威權政權
No TPTP formula. May not be expressible in strict first order.	Government.kif 329-329	子屬性專制的社會主義者 and 威權政權
No TPTP formula. May not be expressible in strict first order.	Government.kif 328-328	子屬性共產主義國家 and 威權政權
No TPTP formula. May not be expressible in strict first order.	Government.kif 325-325	子屬性專政 and 威權政權
No TPTP formula. May not be expressible in strict first order.	Government.kif 330-330	子屬性神權政府 and 威權政權
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