No TPTP formula. May not be expressible in strict first order. |
Government.kif 1154-1154 |
例 強制選舉法 and 選舉法 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1086-1086 |
例 普選法 and 選舉法 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 915-915 |
例 選民公民身份要求 and 選舉法 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1233-1233 |
子類 限制選舉權 and 選舉法 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 933-933 |
子類 選民年齡要求 and 選舉法 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55945-55945 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55944-55944 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55943-55943 |
|