| Election
| |
| appearance as argument number 1 |
|
|
| (documentation Election ChineseLanguage "Election 属于由一个机构所举行事件的类别，其中有资格参加 者对 Organization 的事务员投票、通过决议或解决其他的问题。") | chinese_format.kif 2943-2944 | |
| (documentation Election EnglishLanguage "Election is the class of events conducted by an organization, in which qualified participants vote for officers, adopt resolutions, or settle other issues in that Organization.") | Merge.kif 10676-10678 | |
| (documentation Election JapaneseLanguage "Election は、資格のある参加者が役員に投票したり、 決議を採択したり、その %Organization の他の問題を解決したりする組織によって実施されるイベントのク ラスである。") | japanese_format.kif 1697-1699 | |
| (externalImage Election "http://upload.wikimedia.org/wikipedia/commons/6/ 6b/ ElezioneBrunate.jpg") | pictureList.kif 5979-5979 | |
| (externalImage Election "http://upload.wikimedia.org/wikipedia/commons/7/ 73/ ElezioneMilano.jpg") | pictureList.kif 6450-6450 | |
| (externalImage Election "http://upload.wikimedia.org/wikipedia/commons/e/ e2/ Hustings20050204_CopyrightKaihsuTai.jpg") | pictureList.kif 6451-6451 | |
| (externalImage Election "http://upload.wikimedia.org/wikipedia/commons/f/ fc/ Election_MG_3455.JPG") | pictureList.kif 6452-6452 | |
| (subclass Election OrganizationalProcess) | Merge.kif 10674-10674 |
| appearance as argument number 2 |
|
|
| (rangeSubclass ElectionFn Election) | Government.kif 1648-1648 | |
| (subclass GeneralElection Election) | Government.kif 1668-1668 | |
| (termFormat ChineseLanguage Election "选举") | domainEnglishFormat.kif 21423-21423 | |
| (termFormat ChineseTraditionalLanguage Election "選舉") | domainEnglishFormat.kif 21422-21422 | |
| (termFormat EnglishLanguage Election "election") | domainEnglishFormat.kif 21421-21421 |
| appearance as argument number 3 |
|
|
| (domain VotingFn 1 Election) | Government.kif 1691-1691 | |
| (domain candidateForPosition 1 Election) | Government.kif 1800-1800 | |
| (domain electionForOrganization 1 Election) | Government.kif 1781-1781 | |
| (domain electionForPosition 1 Election) | Government.kif 1708-1708 | |
| (domain electionWinner 1 Election) | Government.kif 1834-1834 | |
| (domain seatsWonInElection 1 Election) | Government.kif 1865-1865 | |
| (domain voteFractionReceived 1 Election) | Government.kif 1819-1819 |
| antecedent |
|
|
| (=> (and (chiefOfStateType ?AREA ?POSITION) (agent ?ELECTION ?AREA) (instance ?ELECTION Election) (electionForPosition ?ELECTION ?POSITION) (instance ?ELECTION PopularElection)) (governmentType ?AREA Democracy)) |
Government.kif 1550-1557 | |
| (=> (and (instance ?AGENT AutonomousAgent) (subclass (ElectionFn ?AGENT) Election)) (or (instance ?AGENT Organization) (instance ?AGENT GeopoliticalArea))) |
Government.kif 1654-1660 | |
| (=> (and (instance ?EVENT Election) (agent ?EVENT ?AGENT) (instance ?AGENT GeopoliticalArea)) (instance ?EVENT PoliticalProcess)) |
Merge.kif 14210-14215 | |
| (=> (and (instance ?EVENT Election) (agent ?EVENT ?AGENT) (instance ?AREA GeopoliticalArea) (instance ?AGENT (GovernmentFn ?AREA))) (instance ?EVENT PoliticalProcess)) |
Merge.kif 14217-14223 | |
| (=> (and (subProposition ExclusiveMaleSuffrage (RegionalLawFn ?AREA)) (attribute ?AGENT Female) (member ?AGENT (ResidentFn ?AREA)) (instance ?ELECTION Election)) (not (capability (VotingFn ?ELECTION) agent ?AGENT))) |
Government.kif 1229-1235 |
| consequent |
|
|
| (=> (instance ?VOTE Voting) (exists (?ELECT) (and (instance ?ELECT Election) (subProcess ?VOTE ?ELECT)))) |
Merge.kif 12215-12220 |
|
|
|