CompulsorySuffrageLaw
|
|
appearance as argument number 1 |
(containsInformation (forall (?POLITY ?VOTER ?ELECTION ?VOTINGAGE ?AGE) (=> (and (citizen ?VOTER ?POLITY) (suffrageAgeMinimum ?POLITY (MeasureFn ?VOTINGAGE YearDuration)) (age ?VOTER (MeasureFn ?AGE YearDuration)) (greaterThanOrEqualTo ?AGE ?VOTINGAGE) (instance ?ELECTION (ElectionFn ?POLITY))) (exists (?VOTING) (and (instance ?VOTING (VotingFn ?ELECTION)) (agent ?VOTING ?VOTER))))) CompulsorySuffrageLaw) |
Government.kif 1160-1174 | For all ?POLITY, ?VOTER,, , ?ELECTION,, , ?VOTINGAGE and ?AGE
|
(documentation CompulsorySuffrageLaw EnglishLanguage "CompulsorySuffrageLaw is a law that requires all eligible voters in a country to vote, under threat of some penalty.") | Government.kif 1156-1158 | |
(instance CompulsorySuffrageLaw SuffrageLaw) | Government.kif 1154-1154 | Compulsory suffrage law is an instance of suffrage law |
appearance as argument number 2 |
(termFormat ChineseLanguage CompulsorySuffrageLaw "强制选举法") | domainEnglishFormat.kif 16236-16236 | |
(termFormat ChineseTraditionalLanguage CompulsorySuffrageLaw "強制選舉法") | domainEnglishFormat.kif 16235-16235 | |
(termFormat EnglishLanguage CompulsorySuffrageLaw "compulsory suffrage law") | domainEnglishFormat.kif 16234-16234 |
antecedent |