No TPTP formula. May not be expressible in strict first order. | Government.kif 899-899 | Suffrage law is a subclass of proposition |
No TPTP formula. May not be expressible in strict first order. | Government.kif 933-933 | Voter age requirement is a subclass of suffrage law |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1233-1233 | Restricted suffrage is a subclass of suffrage law |