TreeView Knowledge Base Browser - ParliamentaryGovernment

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 251-254
No TPTP formula. May not be expressible in strict first order.	Government.kif 162-162	议会政府是政体的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 269-269	宪法议会民主是议会政府的 subAttribute
No TPTP formula. May not be expressible in strict first order.	Government.kif 268-268	联邦议会民主是议会政府的 subAttribute
No TPTP formula. May not be expressible in strict first order.	Government.kif 267-267	议会民主制是议会政府的 subAttribute
No TPTP formula. May not be expressible in strict first order.	Government.kif 266-266	议会共和国是议会政府的 subAttribute
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44484-44484
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44483-44483
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44482-44482

antecedent

No TPTP formula. May not be expressible in strict first order.

Government.kif 256-264

consequent

No TPTP formula. May not be expressible in strict first order.

Government.kif 527-529