suffrageAgeMaximum |
appearance as argument number 1 |
![]() |
(documentation suffrageAgeMaximum EnglishLanguage "(suffrageAgeMaximum ?POLITY ?AGE) means that in the Organization or GeopoliticalArea ?POLITY, a person must be ?AGE or younger in order to vote in the elections of ?POLITY.") | Government.kif 978-980 | |
(domain suffrageAgeMaximum 1 AutonomousAgent) | Government.kif 982-982 | |
(domain suffrageAgeMaximum 2 TimeDuration) | Government.kif 983-983 | |
(instance suffrageAgeMaximum BinaryPredicate) | Government.kif 976-976 |
appearance as argument number 2 |
![]() |
(format ChineseLanguage suffrageAgeMaximum "%2 %n 是 %1 的 suffrage 最大年纪") | domainEnglishFormat.kif 2411-2411 | |
(format ChineseTraditionalLanguage suffrageAgeMaximum "%2 %n 是 %1 的 suffrage 最大年紀") | domainEnglishFormat.kif 2410-2410 | |
(format EnglishLanguage suffrageAgeMaximum "%2 is %n a suffrage age maximum of %1") | domainEnglishFormat.kif 2409-2409 | |
(termFormat ChineseLanguage suffrageAgeMaximum "选举年龄最大值") | domainEnglishFormat.kif 55937-55937 | |
(termFormat ChineseTraditionalLanguage suffrageAgeMaximum "選舉年齡最大值") | domainEnglishFormat.kif 55936-55936 | |
(termFormat EnglishLanguage suffrageAgeMaximum "suffrage age maximum") | domainEnglishFormat.kif 55935-55935 |
antecedent |
![]() |
(=> (and (instance ?AREA GeopoliticalArea) (suffrageAgeMaximum ?AREA ?AGE)) (exists (?AGERULE) (and (instance ?AGERULE VoterAgeRequirement) (subProposition ?AGERULE (RegionalLawFn ?AREA)) (containsInformation (suffrageAgeMaximum ?AREA ?AGE) ?AGERULE)))) |
Government.kif 991-1000 | |
(=> (and (instance ?ELECTION (ElectionFn ?POLITY)) (instance ?ACT (VotingFn ?ELECTION)) (agent ?ACT ?AGENT) (suffrageAgeMaximum ?POLITY (MeasureFn ?VOTINGAGE YearDuration)) (age ?AGENT (MeasureFn ?AGE YearDuration))) (lessThanOrEqualTo ?AGE ?VOTINGAGE)) |
Government.kif 1037-1046 | |
(=> (and (instance ?ELECTION (ElectionFn ?POLITY)) (instance ?ACT (VotingFn ?ELECTION)) (agent ?ACT ?AGENT) (suffrageAgeMaximum ?POLITY (MeasureFn ?VOTINGAGE YearDuration))) (exists (?AGE) (and (age ?AGENT (MeasureFn ?AGE YearDuration)) (lessThanOrEqualTo ?AGE ?VOTINGAGE)))) |
Government.kif 1024-1035 | |
(=> (and (suffrageAgeMaximum ?POLITY (MeasureFn ?VOTINGAGE YearDuration)) (instance ?ELECTION (ElectionFn ?POLITY)) (capability (VotingFn ?ELECTION) agent ?AGENT) (age ?AGENT (MeasureFn ?AGE YearDuration))) (lessThanOrEqualTo ?AGE ?VOTINGAGE)) |
Government.kif 1014-1022 | |
(=> (and (suffrageAgeMaximum ?POLITY (MeasureFn ?VOTINGAGE YearDuration)) (instance ?ELECTION (ElectionFn ?POLITY)) (capability (VotingFn ?ELECTION) agent ?AGENT)) (exists (?AGE) (and (age ?AGENT (MeasureFn ?AGE YearDuration)) (lessThanOrEqualTo ?AGE ?VOTINGAGE)))) |
Government.kif 1002-1012 | |
(=> (suffrageAgeMaximum ?AGENT ?AGE) (or (instance ?AGENT Organization) (instance ?AGENT GeopoliticalArea))) |
Government.kif 985-989 |
consequent |
![]() |
(=> (and (instance ?AREA GeopoliticalArea) (suffrageAgeMaximum ?AREA ?AGE)) (exists (?AGERULE) (and (instance ?AGERULE VoterAgeRequirement) (subProposition ?AGERULE (RegionalLawFn ?AREA)) (containsInformation (suffrageAgeMaximum ?AREA ?AGE) ?AGERULE)))) |
Government.kif 991-1000 |
![]() |
![]() |