No TPTP formula. May not be expressible in strict first order. |
Government.kif 269-269 |
子屬性 憲法議會民主 and 議會政府 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 268-268 |
子屬性 聯邦議會民主 and 議會政府 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 267-267 |
子屬性 議會民主制 and 議會政府 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 266-266 |
子屬性 議會共和國 and 議會政府 |
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 |
|