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 1124-1138 | 包含信息 ?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 1120-1122 | |
(instance CompulsorySuffrageLaw SuffrageLaw) | Government.kif 1118-1118 | 例 強制選舉法 and 選舉法 |
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 |