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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 1667-1672
(subclass PopularElection GeneralElection) Government.kif 1666-1666 民众选举全民选举subclass

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


(termFormat ChineseLanguage PopularElection "民众选举") domainEnglishFormat.kif 46585-46585 "民众选举" 是 民众选举printable formChineseLanguage
(termFormat ChineseTraditionalLanguage PopularElection "民眾選舉") domainEnglishFormat.kif 46584-46584 "民眾選舉" 是 民众选举printable formChineseTraditionalLanguage
(termFormat EnglishLanguage PopularElection "popular election") domainEnglishFormat.kif 46583-46583 "popular election" 是 民众选举printable form英语

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


(=>
    (and
        (chiefOfStateType ?AREA ?POSITION)
        (agent ?ELECTION ?AREA)
        (instance ?ELECTION Election)
        (electionForPosition ?ELECTION ?POSITION)
        (instance ?ELECTION PopularElection))
    (governmentType ?AREA Democracy))
Government.kif 1542-1549
(=>
    (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 1847-1854
(=>
    (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 1836-1846


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners