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	AuthoritarianRegime e' &o oposto de MultipartyDemocracy
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	AuthoritarianRegime e' uma instancia de FormOfGovernment

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 285-285	FederalGovernment e' &o oposto de AuthoritarianRegime
No TPTP formula. May not be expressible in strict first order.	Government.kif 327-327	AbsoluteMonarchy e' um sub-atributo de AuthoritarianRegime
No TPTP formula. May not be expressible in strict first order.	Government.kif 329-329	AuthoritarianSocialist e' um sub-atributo de AuthoritarianRegime
No TPTP formula. May not be expressible in strict first order.	Government.kif 328-328	CommunistState e' um sub-atributo de AuthoritarianRegime
No TPTP formula. May not be expressible in strict first order.	Government.kif 325-325	Dictatorship e' um sub-atributo de AuthoritarianRegime
No TPTP formula. May not be expressible in strict first order.	Government.kif 330-330	TheocraticGovernment e' um sub-atributo de AuthoritarianRegime
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