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 980-982
(domain suffrageAgeMaximum 1 AutonomousAgent) Government.kif 984-984 Il numero 1 argomenti di suffrageAgeMaximum è un istanza di AutonomousAgent
(domain suffrageAgeMaximum 2 TimeDuration) Government.kif 985-985 Il numero 2 argomenti di suffrageAgeMaximum è un istanza di Durata
(instance suffrageAgeMaximum BinaryPredicate) Government.kif 978-978 suffrageAgeMaximum è un' istanza di PredicatoBinario

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

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
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (suffrageAgeMaximum ?AGENT ?AGE)
    (or
        (instance ?AGENT Organization)
        (instance ?AGENT GeopoliticalArea)))
Government.kif 987-991

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


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