suffrageAgeMinimum |
appearance as argument number 1 |
(documentation suffrageAgeMinimum EnglishLanguage "(suffrageAgeMinimum ?POLITY ?AGE) means that in the Organization or GeopoliticalArea ?POLITY, a person must be ?AGE or older in order to vote in the elections of ?POLITY.") | Government.kif 944-946 | |
(domain suffrageAgeMinimum 1 AutonomousAgent) | Government.kif 948-948 | Die Zahl 1 Argument von suffrageAgeMinimum ist ein fall von AutonomousAgent %n{nicht} |
(domain suffrageAgeMinimum 2 TimeDuration) | Government.kif 949-949 | Die Zahl 2 Argument von suffrageAgeMinimum ist ein fall von TimeDuration %n{nicht} |
(instance suffrageAgeMinimum BinaryPredicate) | Government.kif 942-942 | suffrageAgeMinimum ist ein fall von BinaryPredicate %n{nicht} |
appearance as argument number 2 |
(format ChineseLanguage suffrageAgeMinimum "%2 %n 是 %1 的 suffrage 最小年纪") | domainEnglishFormat.kif 2411-2411 | |
(format ChineseTraditionalLanguage suffrageAgeMinimum "%2 %n 是 %1 的 suffrage 最小年紀") | domainEnglishFormat.kif 2410-2410 | |
(format EnglishLanguage suffrageAgeMinimum "%2 is %n a suffrage age minimum of %1") | domainEnglishFormat.kif 2409-2409 | |
(termFormat ChineseLanguage suffrageAgeMinimum "最低年龄") | domainEnglishFormat.kif 55939-55939 | |
(termFormat ChineseTraditionalLanguage suffrageAgeMinimum "最低年齡") | domainEnglishFormat.kif 55938-55938 | |
(termFormat EnglishLanguage suffrageAgeMinimum "suffrage age minimum") | domainEnglishFormat.kif 55937-55937 |
antecedent |
consequent |
statement |
(containsInformation (forall (?POLITY ?AGENT ?ELECTION ?VOTINGAGE ?AGE) (=> (and (citizen ?AGENT ?POLITY) (suffrageAgeMinimum ?POLITY (MeasureFn ?VOTINGAGE YearDuration)) (age ?AGENT (MeasureFn ?AGE YearDuration)) (greaterThanOrEqualTo ?AGE ?VOTINGAGE) (instance ?ELECTION (ElectionFn ?POLITY))) (capability (VotingFn ?ELECTION) agent ?AGENT))) UniversalSuffrageLaw) |
Government.kif 1092-1103 | Fuer alle ?POLITY, ?AGENT,, , ?ELECTION,, , ?VOTINGAGE, and und ?AGE
|
(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 | Fuer alle ?POLITY, ?VOTER,, , ?ELECTION,, , ?VOTINGAGE, and und ?AGE
|