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 941-943 | |
(domain suffrageAgeMinimum 1 Agent) | Government.kif 945-945 | The number 1 argument of suffrage age minimum is an instance of agent |
(domain suffrageAgeMinimum 2 TimeDuration) | Government.kif 946-946 | The number 2 argument of suffrage age minimum is an instance of time duration |
(instance suffrageAgeMinimum BinaryPredicate) | Government.kif 939-939 | suffrage age minimum is an instance of binary predicate |
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 55918-55918 | |
(termFormat ChineseTraditionalLanguage suffrageAgeMinimum "最低年齡") | domainEnglishFormat.kif 55917-55917 | |
(termFormat EnglishLanguage suffrageAgeMinimum "suffrage age minimum") | domainEnglishFormat.kif 55916-55916 |
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 1089-1100 | For all ?POLITY, ?AGENT,, , ?ELECTION,, , ?VOTINGAGE and ?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 1157-1171 | For all ?POLITY, ?VOTER,, , ?ELECTION,, , ?VOTINGAGE and ?AGE
|
![]() |
![]() |