Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - suffrageAgeMaximum
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 1016-1018
(domain suffrageAgeMaximum 1 AutonomousAgent) Government.kif 1020-1020 选举年龄最大值 的 1 数量 是 施事体instance
(domain suffrageAgeMaximum 2 TimeDuration) Government.kif 1021-1021 选举年龄最大值 的 2 数量 是 持续时间instance
(instance suffrageAgeMaximum BinaryPredicate) Government.kif 1014-1014 选举年龄最大值二元谓语instance

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

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 1029-1038
(=>
    (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 1075-1084
(=>
    (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 1062-1073
(=>
    (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 1052-1060
(=>
    (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 1040-1050
(=>
    (suffrageAgeMaximum ?AGENT ?AGE)
    (or
        (instance ?AGENT Organization)
        (instance ?AGENT GeopoliticalArea)))
Government.kif 1023-1027

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 1029-1038


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