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