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 1001-1003 | |
(domain suffrageAgeMaximum 1 Agent) | Government.kif 1005-1005 | The number 1 argument of suffrage age maximum is an instance of agent |
(domain suffrageAgeMaximum 2 TimeDuration) | Government.kif 1006-1006 | The number 2 argument of suffrage age maximum is an instance of time duration |
(instance suffrageAgeMaximum BinaryPredicate) | Government.kif 999-999 | suffrage age maximum is an instance of binary predicate |
appearance as argument number 2 |
![]() |
(format ChineseLanguage suffrageAgeMaximum "%2 %n 是 %1 的 suffrage 最大年纪") | domainEnglishFormat.kif 2407-2407 | |
(format ChineseTraditionalLanguage suffrageAgeMaximum "%2 %n 是 %1 的 suffrage 最大年紀") | domainEnglishFormat.kif 2406-2406 | |
(format EnglishLanguage suffrageAgeMaximum "%2 is %n a suffrage age maximum of %1") | domainEnglishFormat.kif 2405-2405 | |
(termFormat ChineseLanguage suffrageAgeMaximum "选举年龄最大值") | domainEnglishFormat.kif 55912-55912 | |
(termFormat ChineseTraditionalLanguage suffrageAgeMaximum "選舉年齡最大值") | domainEnglishFormat.kif 55911-55911 | |
(termFormat EnglishLanguage suffrageAgeMaximum "suffrage age maximum") | domainEnglishFormat.kif 55910-55910 |
antecedent |
![]() |
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 1014-1023 |
|
![]() |
![]() |