| 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 10458-10460 | |
| (externalImage Election "http://upload.wikimedia.org/wikipedia/commons/6/ 6b/ ElezioneBrunate.jpg") | pictureList.kif 5981-5981 | |
| (externalImage Election "http://upload.wikimedia.org/wikipedia/commons/7/ 73/ ElezioneMilano.jpg") | pictureList.kif 6452-6452 | |
| (externalImage Election "http://upload.wikimedia.org/wikipedia/commons/e/ e2/ Hustings20050204_CopyrightKaihsuTai.jpg") | pictureList.kif 6453-6453 | |
| (externalImage Election "http://upload.wikimedia.org/wikipedia/commons/f/ fc/ Election_MG_3455.JPG") | pictureList.kif 6454-6454 | |
| (subclass Election OrganizationalProcess) | Merge.kif 10456-10456 |
| appearance as argument number 2 |
|
|
| (rangeSubclass ElectionFn Election) | Government.kif 1671-1671 | |
| (subclass GeneralElection Election) | Government.kif 1691-1691 | |
| (termFormat ChineseLanguage Election "选举") | domainEnglishFormat.kif 21399-21399 | |
| (termFormat ChineseTraditionalLanguage Election "選舉") | domainEnglishFormat.kif 21398-21398 | |
| (termFormat EnglishLanguage Election "election") | domainEnglishFormat.kif 21397-21397 |
| appearance as argument number 3 |
|
|
| (domain VotingFn 1 Election) | Government.kif 1714-1714 | |
| (domain candidateForPosition 1 Election) | Government.kif 1823-1823 | |
| (domain electionForOrganization 1 Election) | Government.kif 1804-1804 | |
| (domain electionForPosition 1 Election) | Government.kif 1731-1731 | |
| (domain electionWinner 1 Election) | Government.kif 1857-1857 | |
| (domain seatsWonInElection 1 Election) | Government.kif 1888-1888 | |
| (domain voteFractionReceived 1 Election) | Government.kif 1842-1842 |
| antecedent |
|
|
| (=> (and (chiefOfStateType ?AREA ?POSITION) (agent ?ELECTION ?AREA) (instance ?ELECTION Election) (electionForPosition ?ELECTION ?POSITION) (instance ?ELECTION PopularElection)) (governmentType ?AREA Democracy)) |
Government.kif 1573-1580 | |
| (=> (and (instance ?AGENT Agent) (subclass (ElectionFn ?AGENT) Election)) (or (instance ?AGENT Organization) (instance ?AGENT GeopoliticalArea))) |
Government.kif 1677-1683 | |
| (=> (and (instance ?EVENT Election) (agent ?EVENT ?AGENT) (instance ?AGENT GeopoliticalArea)) (instance ?EVENT PoliticalProcess)) |
Merge.kif 13818-13823 | |
| (=> (and (instance ?EVENT Election) (agent ?EVENT ?AGENT) (instance ?AREA GeopoliticalArea) (instance ?AGENT (GovernmentFn ?AREA))) (instance ?EVENT PoliticalProcess)) |
Merge.kif 13825-13831 | |
| (=> (and (subProposition ExclusiveMaleSuffrage (RegionalLawFn ?AREA)) (attribute ?AGENT Female) (member ?AGENT (ResidentFn ?AREA)) (instance ?ELECTION Election)) (not (capability (VotingFn ?ELECTION) agent ?AGENT))) |
Government.kif 1252-1258 |
| consequent |
|
|
| (=> (instance ?VOTE Voting) (exists (?ELECT) (and (instance ?ELECT Election) (subProcess ?VOTE ?ELECT)))) |
Merge.kif 11857-11862 |
|
|
|