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 1122-1136 | ?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 1118-1120 | ?POLITY ?VOTER, ?ELECTION, ?VOTINGAGE and ?AGE
|
(instance CompulsorySuffrageLaw SuffrageLaw) | Government.kif 1116-1116 | CompulsorySuffrageLaw は SuffrageLaw の instance では |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage CompulsorySuffrageLaw "强制选举法") | domainEnglishFormat.kif 16245-16245 | |
(termFormat ChineseTraditionalLanguage CompulsorySuffrageLaw "強制選舉法") | domainEnglishFormat.kif 16244-16244 | |
(termFormat EnglishLanguage CompulsorySuffrageLaw "compulsory suffrage law") | domainEnglishFormat.kif 16243-16243 |
antecedent |
![]() |
![]() |
![]() |