No TPTP formula. May not be expressible in strict first order. | Government.kif 899-899 | SuffrageLaw e' uma sub-classe de Proposicao |
No TPTP formula. May not be expressible in strict first order. | Government.kif 933-933 | VoterAgeRequirement e' uma sub-classe de SuffrageLaw |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1233-1233 | RestrictedSuffrage e' uma sub-classe de SuffrageLaw |