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 978-980
(domain suffrageAgeMaximum 1 AutonomousAgent)	Government.kif 982-982	The number 1 argument of suffrage age maximum is an instance of agent
(domain suffrageAgeMaximum 2 TimeDuration)	Government.kif 983-983	The number 2 argument of suffrage age maximum is an instance of time duration
(instance suffrageAgeMaximum BinaryPredicate)	Government.kif 976-976	suffrage age maximum is an instance of binary predicate

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 55966-55966
(termFormat ChineseTraditionalLanguage suffrageAgeMaximum "選舉年齡最大值")	domainEnglishFormat.kif 55965-55965
(termFormat EnglishLanguage suffrageAgeMaximum "suffrage age maximum")	domainEnglishFormat.kif 55964-55964

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	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 1037-1046	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 1024-1035	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 1014-1022	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 1002-1012	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 985-989	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 991-1000

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: