No TPTP formula. May not be expressible in strict first order. |
Government.kif 1154-1154 |
强制选举法 是 选举法 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1086-1086 |
普选法 是 选举法 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 915-915 |
选民公民身份要求 是 选举法 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1233-1233 |
限制选举权 是 选举法 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 933-933 |
选民年龄要求 是 选举法 的 subclass |
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 |
|