|
|
   Ovrigt
|
|
|
| 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 10587-10589 | |
| (documentation Election JapaneseLanguage "Election は、資格のある参加者が役員に投票したり、 決議を採択したり、その %Organization の他の問題を解決したりする組織によって実施されるイベントのク ラスである。") | japanese_format.kif 1697-1699 | |
| (externalImage Election "http://upload.wikimedia.org/wikipedia/commons/6/ 6b/ ElezioneBrunate.jpg") | pictureList.kif 5980-5980 | |
| (externalImage Election "http://upload.wikimedia.org/wikipedia/commons/7/ 73/ ElezioneMilano.jpg") | pictureList.kif 6451-6451 | |
| (externalImage Election "http://upload.wikimedia.org/wikipedia/commons/e/ e2/ Hustings20050204_CopyrightKaihsuTai.jpg") | pictureList.kif 6452-6452 | |
| (externalImage Election "http://upload.wikimedia.org/wikipedia/commons/f/ fc/ Election_MG_3455.JPG") | pictureList.kif 6453-6453 | |
| (subclass Election OrganizationalProcess) | Merge.kif 10585-10585 |
| appearance as argument number 2 |
|
|
| (rangeSubclass ElectionFn Election) | Government.kif 1650-1650 | |
| (subclass GeneralElection Election) | Government.kif 1670-1670 | |
| (termFormat ChineseLanguage Election "选举") | domainEnglishFormat.kif 21408-21408 | |
| (termFormat ChineseTraditionalLanguage Election "選舉") | domainEnglishFormat.kif 21407-21407 | |
| (termFormat EnglishLanguage Election "election") | domainEnglishFormat.kif 21406-21406 |
| appearance as argument number 3 |
|
|
| (domain VotingFn 1 Election) | Government.kif 1693-1693 | |
| (domain candidateForPosition 1 Election) | Government.kif 1802-1802 | |
| (domain electionForOrganization 1 Election) | Government.kif 1783-1783 | |
| (domain electionForPosition 1 Election) | Government.kif 1710-1710 | |
| (domain electionWinner 1 Election) | Government.kif 1836-1836 | |
| (domain seatsWonInElection 1 Election) | Government.kif 1867-1867 | |
| (domain voteFractionReceived 1 Election) | Government.kif 1821-1821 |
| 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 ?AGENT AutonomousAgent) (subclass (ElectionFn ?AGENT) Election)) (or (instance ?AGENT Organization) (instance ?AGENT GeopoliticalArea))) |
Government.kif 1656-1662 | |
| (=> (and (instance ?EVENT Election) (agent ?EVENT ?AGENT) (instance ?AGENT GeopoliticalArea)) (instance ?EVENT PoliticalProcess)) |
Merge.kif 14118-14123 | |
| (=> (and (instance ?EVENT Election) (agent ?EVENT ?AGENT) (instance ?AREA GeopoliticalArea) (instance ?AGENT (GovernmentFn ?AREA))) (instance ?EVENT PoliticalProcess)) |
Merge.kif 14125-14131 | |
| (=> (and (subProposition ExclusiveMaleSuffrage (RegionalLawFn ?AREA)) (attribute ?AGENT Female) (member ?AGENT (ResidentFn ?AREA)) (instance ?ELECTION Election)) (not (capability (VotingFn ?ELECTION) agent ?AGENT))) |
Government.kif 1231-1237 |
| consequent |
|
|
| (=> (instance ?VOTE Voting) (exists (?ELECT) (and (instance ?ELECT Election) (subProcess ?VOTE ?ELECT)))) |
Merge.kif 12126-12131 |
|
|
|
