TreeView Knowledge Base Browser - AuthoritarianRegime

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 336-336	威权政权是多党民主的相反
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	威权政权是政体的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 285-285	联邦政府是威权政权的相反
No TPTP formula. May not be expressible in strict first order.	Government.kif 327-327	绝对君主制是威权政权的 subAttribute
No TPTP formula. May not be expressible in strict first order.	Government.kif 329-329	专制的社会主义者是威权政权的 subAttribute
No TPTP formula. May not be expressible in strict first order.	Government.kif 328-328	共产主义国家是威权政权的 subAttribute
No TPTP formula. May not be expressible in strict first order.	Government.kif 325-325	专政是威权政权的 subAttribute
No TPTP formula. May not be expressible in strict first order.	Government.kif 330-330	神权政府是威权政权的 subAttribute
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