No TPTP formula. May not be expressible in strict first order. | Government.kif 899-899 | 选举法 是 命题 的 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. | Government.kif 1233-1233 | 限制选举权 是 选举法 的 subclass |