No TPTP formula. May not be expressible in strict first order. | Government.kif 899-899 | SuffrageLaw est une sous-classe de proposition |
No TPTP formula. May not be expressible in strict first order. | Government.kif 933-933 | VoterAgeRequirement est une sous-classe de SuffrageLaw |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1233-1233 | RestrictedSuffrage est une sous-classe de SuffrageLaw |