| appearance as argument number 1 |
|
| (subclass PopularElection GeneralElection) | Government.kif 1674-1674 | Popular election is a subclass of general election |
| (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 1675-1680 | Popular election is a subclass of general election |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (chiefOfStateType ?AREA ?POSITION) (agent ?ELECTION ?AREA) (instance ?ELECTION Election) (electionForPosition ?ELECTION ?POSITION) (instance ?ELECTION PopularElection)) (governmentType ?AREA Democracy)) |
Government.kif 1550-1557 | If X is a chief of state type of Y, Y is an agent of Z, Z is an instance of election, X is an election for position of Z, and Z is an instance of popular election, then democracy is a government type of Y |
| (=> (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 1844-1854 | If X is an instance of popular election, X is election winner Y for Z, and X is vote fraction received Y for Z with W, then there don't exist V, U such that X is vote fraction received Y for V with U, equal Z, V, and U is greater than or equal to W |
| (=> (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 1855-1862 | If X is an instance of popular election, X is election winner Y for Z, X is vote fraction received Y for Z with W, X is vote fraction received Y for V with U, and equal Z and V, then W is greater than U |
|
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