Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - VotingFn
VotingFn

appearance as argument number 1
-------------------------


(instance VotingFn UnaryFunction) Government.kif 1699-1699 Voting is an instance of unary function
(domain VotingFn 1 Election) Government.kif 1700-1700 The number 1 argument of voting is an instance of election
(rangeSubclass VotingFn Voting) Government.kif 1701-1701 The values returned by voting are subclasses of voting
(documentation VotingFn EnglishLanguage "(VotingFn ?ELECTION) denotes the class of voting events that occur as part of the Election ?ELECTION.") Government.kif 1703-1704 The values returned by voting are subclasses of voting

appearance as argument number 2
-------------------------


(format EnglishLanguage VotingFn "the voting of %1") domainEnglishFormat.kif 2601-2601
(format ChineseTraditionalLanguage VotingFn "%1 的 voting ") domainEnglishFormat.kif 2602-2602
(format ChineseLanguage VotingFn "%1 的 voting ") domainEnglishFormat.kif 2603-2603
(termFormat EnglishLanguage VotingFn "voting") domainEnglishFormat.kif 61990-61990
(termFormat ChineseTraditionalLanguage VotingFn "表決") domainEnglishFormat.kif 61991-61991
(termFormat ChineseLanguage VotingFn "表决") domainEnglishFormat.kif 61992-61992

antecedent
-------------------------


(=>
    (and
        (suffrageAgeMinimum ?POLITY
            (MeasureFn ?VOTINGAGE YearDuration))
        (instance ?ELECTION
            (ElectionFn ?POLITY))
        (capability
            (VotingFn ?ELECTION) agent ?AGENT))
    (exists (?AGE)
        (and
            (age ?AGENT
                (MeasureFn ?AGE YearDuration))
            (greaterThanOrEqualTo ?AGE ?VOTINGAGE))))		 Government.kif 939-949 If X year duration(s) is a suffrage age minimum of Y, Z is an instance of the election of Y, and W is capable of doing the voting of Z as a agent, then there exists V such that the age of W is V year duration(s) and V is greater than or equal to X
(=>
    (and
        (suffrageAgeMinimum ?POLITY
            (MeasureFn ?VOTINGAGE YearDuration))
        (instance ?ELECTION
            (ElectionFn ?POLITY))
        (capability
            (VotingFn ?ELECTION) agent ?AGENT)
        (age ?AGENT
            (MeasureFn ?AGE YearDuration)))
    (greaterThanOrEqualTo ?AGE ?VOTINGAGE))		 Government.kif 951-959 If X year duration(s) is a suffrage age minimum of Y, Z is an instance of the election of Y, W is capable of doing the voting of Z as a agent, and the age of W is V year duration(s), then V is greater than or equal to X
(=>
    (and
        (instance ?ELECTION
            (ElectionFn ?POLITY))
        (instance ?ACT
            (VotingFn ?ELECTION))
        (agent ?ACT ?AGENT)
        (suffrageAgeMinimum ?POLITY
            (MeasureFn ?VOTINGAGE YearDuration)))
    (exists (?AGE)
        (and
            (age ?AGENT
                (MeasureFn ?AGE YearDuration))
            (greaterThanOrEqualTo ?AGE ?VOTINGAGE))))		 Government.kif 961-972 If X is an instance of the election of Y, Z is an instance of the voting of X, W is an agent of Z, and V year duration(s) is a suffrage age minimum of Y, then there exists U such that the age of W is U year duration(s) and U is greater than or equal to V
(=>
    (and
        (instance ?ELECTION
            (ElectionFn ?POLITY))
        (instance ?ACT
            (VotingFn ?ELECTION))
        (agent ?ACT ?AGENT)
        (suffrageAgeMinimum ?POLITY
            (MeasureFn ?VOTINGAGE YearDuration))
        (age ?AGENT
            (MeasureFn ?AGE YearDuration)))
    (greaterThanOrEqualTo ?AGE ?VOTINGAGE))		 Government.kif 974-983 If X is an instance of the election of Y, Z is an instance of the voting of X, W is an agent of Z, V year duration(s) is a suffrage age minimum of Y, and the age of W is U year duration(s), then U is greater than or equal to V
(=>
    (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 1011-1021 If X year duration(s) is a suffrage age maximum of Y, Z is an instance of the election of Y, and W is capable of doing the voting of Z as a agent, then there exists V such that the age of W is V year duration(s) and V is less than or equal to X
(=>
    (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 1023-1031 If X year duration(s) is a suffrage age maximum of Y, Z is an instance of the election of Y, W is capable of doing the voting of Z as a agent, and the age of W is V year duration(s), then V is less than or equal to X
(=>
    (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 1033-1044 If X is an instance of the election of Y, Z is an instance of the voting of X, W is an agent of Z, and V year duration(s) is a suffrage age maximum of Y, then there exists U such that the age of W is U year duration(s) and U is less than or equal to V
(=>
    (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 1046-1055 If X is an instance of the election of Y, Z is an instance of the voting of X, W is an agent of Z, V year duration(s) is a suffrage age maximum of Y, and the age of W is U year duration(s), then U is less than or equal to V
(=>
    (and
        (subProposition ExclusiveMaleSuffrage
            (RegionalLawFn ?POLITY))
        (citizen ?AGENT ?POLITY)
        (instance ?ELECTION
            (ElectionFn ?POLITY))
        (capability
            (VotingFn ?ELECTION) agent ?AGENT))
    (attribute ?AGENT Male))		 Government.kif 1221-1227 If exclusive male suffrage is a sub-proposition of the regional law of X, Y is a citizen of X, Z is an instance of the election of X, and Y is capable of doing the voting of Z as a agent, then male is an attribute of Y
(=>
    (and
        (subProposition ExclusiveMaleSuffrage
            (RegionalLawFn ?POLITY))
        (citizen ?AGENT ?POLITY)
        (instance ?ELECTION
            (ElectionFn ?POLITY))
        (instance ?ACT
            (VotingFn ?ELECTION))
        (agent ?ACT ?AGENT))
    (attribute ?AGENT Male))		 Government.kif 1229-1236 If exclusive male suffrage is a sub-proposition of the regional law of X, Y is a citizen of X, Z is an instance of the election of X, W is an instance of the voting of Z, and Y is an agent of W, then male is an attribute of Y

consequent
-------------------------


(=>
    (subProposition UniversalSuffrageLaw
        (RegionalLawFn ?POLITY))
    (forall (?AGENT ?ELECTION ?VOTINGAGE ?AGE)
        (=>
            (and
                (citizen ?AGENT ?POLITY)
                (suffrageAgeMinimum ?POLITY
                    (MeasureFn ?VOTINGAGE YearDuration))
                (age ?AGENT
                    (MeasureFn ?AGE YearDuration))
                (greaterThanOrEqualTo ?AGE ?VOTINGAGE)
                (instance ?ELECTION
                    (ElectionFn ?POLITY)))
            (capability
                (VotingFn ?ELECTION) agent ?AGENT))))		 Government.kif 1077-1089 If universal suffrage law is a sub-proposition of the regional law of X, then For all Human Y, Election Z, and RealNumbers W and V: if Y is a citizen of X, W year duration(s) is a suffrage age minimum of X, the age of Y is V year duration(s), V is greater than or equal to W, and Z is an instance of the election of X, then Y is capable of doing the voting of Z as a agent
(=>
    (and
        (subProposition UniversalSuffrageLaw
            (RegionalLawFn ?POLITY))
        (citizen ?AGENT ?POLITY)
        (suffrageAgeMinimum ?POLITY
            (MeasureFn ?VOTINGAGE YearDuration))
        (age ?AGENT
            (MeasureFn ?AGE YearDuration))
        (greaterThanOrEqualTo ?AGE ?VOTINGAGE)
        (instance ?ELECTION
            (ElectionFn ?POLITY)))
    (capability
        (VotingFn ?ELECTION) agent ?AGENT))		 Government.kif 1091-1101 If All of the following hold: (1) universal suffrage law is a sub-proposition of the regional law of X (2) Y is a citizen of X (3) Z year duration(s) is a suffrage age minimum of X (4) the age of Y is W year duration(s) (5) W is greater than or equal to Z (6) V is an instance of the election of X, then Y is capable of doing the voting of V as a agent
(=>
    (and
        (subProposition ExclusiveMaleSuffrage
            (RegionalLawFn ?AREA))
        (attribute ?AGENT Female)
        (member ?AGENT
            (ResidentFn ?AREA))
        (instance ?ELECTION Election))
    (not
        (capability
            (VotingFn ?ELECTION) agent ?AGENT)))		 Government.kif 1238-1244 If exclusive male suffrage is a sub-proposition of the regional law of X, female is an attribute of Y, Y is a member of the resident of X, and Z is an instance of election, then Y is not capable of doing the voting of Z as a agent


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners