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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PopularElection

Sigma KEE - PopularElection
PopularElection

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


(documentation PopularElection EnglishLanguage "PopularElection is the class of Elections in which office-holders and issues are determined directly by the outcome of the votes cast by the enfranchised. For example, U.S. Senators and Representatives are elected by PopularElection. By contrast, U.S. Presidents are elected by indirect elections, in which the Electoral College determines the actual outcome. See electionWinner.") Government.kif 1673-1678
(subclass PopularElection GeneralElection) Government.kif 1672-1672 PopularElectionGeneralElectionsubclass

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


(termFormat EnglishLanguage PopularElection "popular election") domainEnglishFormat.kif 8197-8197 termFormat EnglishLanguage, PopularElection and "popular election"

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


(=>
    (and
        (chiefOfStateType ?AREA ?POSITION)
        (agent ?ELECTION ?AREA)
        (instance ?ELECTION Election)
        (electionForPosition ?ELECTION ?POSITION)
        (instance ?ELECTION PopularElection))
    (governmentType ?AREA Democracy))
Government.kif 1548-1555
(=>
    (and
        (instance ?ELECTION PopularElection)
        (electionWinner ?ELECTION ?POSITION ?PERSON1)
        (voteFractionReceived ?ELECTION ?POSITION ?PERSON1 ?NUMBER1)
        (voteFractionReceived ?ELECTION ?POSITION ?PERSON2 ?NUMBER2)
        (not
            (equal ?PERSON1 ?PERSON2)))
    (greaterThan ?NUMBER1 ?NUMBER2))
Government.kif 1853-1860
(=>
    (and
        (instance ?ELECTION PopularElection)
        (electionWinner ?ELECTION ?POSITION ?PERSON1)
        (voteFractionReceived ?ELECTION ?POSITION ?PERSON1 ?NUMBER1))
    (not
        (exists (?PERSON2 ?NUMBER2)
            (and
                (voteFractionReceived ?ELECTION ?POSITION ?PERSON2 ?NUMBER2)
                (not
                    (equal ?PERSON1 ?PERSON2))
                (greaterThanOrEqualTo ?NUMBER2 ?NUMBER1)))))
Government.kif 1842-1852


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners