suffrageAgeMaximum - Sigma Knowledge base Browser

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 980-982
(domain suffrageAgeMaximum 1 AutonomousAgent)	Government.kif 984-984	The number 1 argument of suffrage age maximum is an instance of agent
(domain suffrageAgeMaximum 2 TimeDuration)	Government.kif 985-985	The number 2 argument of suffrage age maximum is an instance of time duration
(instance suffrageAgeMaximum BinaryPredicate)	Government.kif 978-978	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 55973-55973
(termFormat ChineseTraditionalLanguage suffrageAgeMaximum "選舉年齡最大值")	domainEnglishFormat.kif 55972-55972
(termFormat EnglishLanguage suffrageAgeMaximum "suffrage age maximum")	domainEnglishFormat.kif 55971-55971

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 993-1002	If a geopolitical area is an instance of geopolitical area and a time duration is a suffrage age maximum of the geopolitical area, then there exists the time durationRULE such that the time durationRULE is an instance of voter age requirement and the time durationRULE is a sub-proposition of the regional law of the geopolitical area and the time duration is a suffrage age maximum of the geopolitical area contains information the time durationRULE
(=> (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 1039-1048	If an election is an instance of the election of an agent and a process is an instance of the voting of the election and another agent is an agent of the process and a real number year duration(s) is a suffrage age maximum of the agent and the age of the other agent is another real number year duration(s), then the other real number is less than or equal to the real number
(=> (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 1026-1037	If an election is an instance of the election of an agent and a process is an instance of the voting of the election and another agent is an agent of the process and a real number year duration(s) is a suffrage age maximum of the agent, then there exists another real number such that the age of the other agent is the other real number year duration(s) and the other real number is less than or equal to the real number
(=> (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 1016-1024	If a real number year duration(s) is a suffrage age maximum of an agent and an election is an instance of the election of the agent and an object is capable of doing the voting of the election as a agent and the age of the object is another real number year duration(s), then the other real number is less than or equal to the real number
(=> (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 1004-1014	If a real number year duration(s) is a suffrage age maximum of an agent and an election is an instance of the election of the agent and an object is capable of doing the voting of the election as a agent, then there exists another real number such that the age of the object is the other real number year duration(s) and the other real number is less than or equal to the real number
(=> (suffrageAgeMaximum ?AGENT ?AGE) (or (instance ?AGENT Organization) (instance ?AGENT GeopoliticalArea)))	Government.kif 987-991	If a time duration is a suffrage age maximum of the time durationNT, then the time durationNT is an instance of organization or the time durationNT is an instance of geopolitical area

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 993-1002

If a geopolitical area is an instance of geopolitical area and a time duration is a suffrage age maximum of the geopolitical area,
then there exists the time durationRULE such that the time durationRULE is an instance of voter age requirement and the time durationRULE is a sub-proposition of the regional law of the geopolitical area and the time duration is a suffrage age maximum of the geopolitical area contains information the time durationRULE

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: