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 1677-1682 | |
(subclass PopularElection GeneralElection) | Government.kif 1676-1676 |
appearance as argument number 2 |
(termFormat ChineseLanguage PopularElection "民众选举") | domainEnglishFormat.kif 46647-46647 | |
(termFormat ChineseTraditionalLanguage PopularElection "民眾選舉") | domainEnglishFormat.kif 46646-46646 | |
(termFormat EnglishLanguage PopularElection "popular election") | domainEnglishFormat.kif 46645-46645 |
antecedent |
(=> (and (chiefOfStateType ?AREA ?POSITION) (agent ?ELECTION ?AREA) (instance ?ELECTION Election) (electionForPosition ?ELECTION ?POSITION) (instance ?ELECTION PopularElection)) (governmentType ?AREA Democracy)) |
Government.kif 1552-1559 | |
(=> (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 1857-1864 | |
(=> (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 1846-1856 |