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 1002-1004
(domain suffrageAgeMaximum 1 Agent) Government.kif 1006-1006
(domain suffrageAgeMaximum 2 TimeDuration) Government.kif 1007-1007
(instance suffrageAgeMaximum BinaryPredicate) Government.kif 1000-1000

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

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 1015-1024
(=>
    (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 1061-1070
(=>
    (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 1048-1059
(=>
    (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 1038-1046
(=>
    (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 1026-1036
(=>
    (suffrageAgeMaximum ?AGENT ?AGE)
    (or
        (instance ?AGENT Organization)
        (instance ?AGENT GeopoliticalArea)))		 Government.kif 1009-1013

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 1015-1024


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