| 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 10691-10693 | |
| (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 10689-10689 | 选举 是 机构性过程 的 subclass |
| appearance as argument number 2 |
|
|
| (rangeSubclass ElectionFn Election) | Government.kif 1648-1648 | 选举 的所得值 是 选举 的 subclass |
| (subclass GeneralElection Election) | Government.kif 1668-1668 | 全民选举 是 选举 的 subclass |
| (termFormat ChineseLanguage Election "选举") | domainEnglishFormat.kif 21417-21417 | 全民选举 是 选举 的 subclass |
| (termFormat ChineseTraditionalLanguage Election "選舉") | domainEnglishFormat.kif 21416-21416 | 全民选举 是 选举 的 subclass |
| (termFormat EnglishLanguage Election "election") | domainEnglishFormat.kif 21415-21415 | 全民选举 是 选举 的 subclass |
| appearance as argument number 3 |
|
|
| (domain VotingFn 1 Election) | Government.kif 1691-1691 | 表决 的 1 数量 是 选举 的 instance |
| (domain candidateForPosition 1 Election) | Government.kif 1800-1800 | 职位候选人 的 1 数量 是 选举 的 instance |
| (domain electionForOrganization 1 Election) | Government.kif 1781-1781 | 选举组织 的 1 数量 是 选举 的 instance |
| (domain electionForPosition 1 Election) | Government.kif 1708-1708 | 选举职位 的 1 数量 是 选举 的 instance |
| (domain electionWinner 1 Election) | Government.kif 1834-1834 | 选举胜利者 的 1 数量 是 选举 的 instance |
| (domain seatsWonInElection 1 Election) | Government.kif 1865-1865 | 席位在选举中获胜 的 1 数量 是 选举 的 instance |
| (domain voteFractionReceived 1 Election) | Government.kif 1819-1819 | 收到投票分数 的 1 数量 是 选举 的 instance |
| 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 14225-14230 | |
| (=> (and (instance ?EVENT Election) (agent ?EVENT ?AGENT) (instance ?AREA GeopoliticalArea) (instance ?AGENT (GovernmentFn ?AREA))) (instance ?EVENT PoliticalProcess)) |
Merge.kif 14232-14238 | |
| (=> (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 12230-12235 |
|
|
|