VerbNet: appoint-29.1|elect,
| Election(选举)
| | VerbNet: appoint-29.1|elect, |
| 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 9810-9812 | |
| (externalImage Election "http://upload.wikimedia.org/wikipedia/commons/6/ 6b/ ElezioneBrunate.jpg") | pictureList.kif 5981-5981 | "http://upload.wikimedia.org/wikipedia/commons/6/6b/ ElezioneBrunate.jpg" 是苗素 选举 的 URL |
| (externalImage Election "http://upload.wikimedia.org/wikipedia/commons/7/ 73/ ElezioneMilano.jpg") | pictureList.kif 6452-6452 | "http://upload.wikimedia.org/wikipedia/commons/7/73/ ElezioneMilano.jpg" 是苗素 选举 的 URL |
| (externalImage Election "http://upload.wikimedia.org/wikipedia/commons/e/ e2/ Hustings20050204_CopyrightKaihsuTai.jpg") | pictureList.kif 6453-6453 | "http://upload.wikimedia.org/wikipedia/commons/e/e2/ Hustings20050204_CopyrightKaihsuTai.jpg" 是苗素 选举 的 URL |
| (externalImage Election "http://upload.wikimedia.org/wikipedia/commons/f/ fc/ Election_MG_3455.JPG") | pictureList.kif 6454-6454 | "http://upload.wikimedia.org/wikipedia/commons/f/fc/ Election_MG_3455.JPG" 是苗素 选举 的 URL |
| (subclass Election OrganizationalProcess) | Merge.kif 9808-9808 | 选举 是 机构性过程 的 subclass |
| appearance as argument number 2 |
|
|
| (rangeSubclass ElectionFn Election) | Government.kif 1640-1640 | 选举 的所得值 是 选举 的 subclass |
| (subclass GeneralElection Election) | Government.kif 1660-1660 | 全民选举 是 选举 的 subclass |
| (termFormat ChineseLanguage Election "选举") | domainEnglishFormat.kif 21337-21337 | "选举" 是 选举 的 printable form 在 ChineseLanguage |
| (termFormat ChineseTraditionalLanguage Election "選舉") | domainEnglishFormat.kif 21336-21336 | "選舉" 是 选举 的 printable form 在 ChineseTraditionalLanguage |
| (termFormat EnglishLanguage Election "election") | domainEnglishFormat.kif 21335-21335 | "election" 是 选举 的 printable form 在 英语 |
| appearance as argument number 3 |
|
|
| (domain VotingFn 1 Election) | Government.kif 1683-1683 | 表决 的 1 数量 是 选举 的 instance |
| (domain candidateForPosition 1 Election) | Government.kif 1792-1792 | 职位候选人 的 1 数量 是 选举 的 instance |
| (domain electionForOrganization 1 Election) | Government.kif 1773-1773 | 选举组织 的 1 数量 是 选举 的 instance |
| (domain electionForPosition 1 Election) | Government.kif 1700-1700 | 选举职位 的 1 数量 是 选举 的 instance |
| (domain electionWinner 1 Election) | Government.kif 1826-1826 | 选举胜利者 的 1 数量 是 选举 的 instance |
| (domain seatsWonInElection 1 Election) | Government.kif 1857-1857 | 席位在选举中获胜 的 1 数量 是 选举 的 instance |
| (domain voteFractionReceived 1 Election) | Government.kif 1811-1811 | 收到投票分数 的 1 数量 是 选举 的 instance |
| antecedent |
|
|
| (=> (and (chiefOfStateType ?AREA ?POSITION) (agent ?ELECTION ?AREA) (instance ?ELECTION Election) (electionForPosition ?ELECTION ?POSITION) (instance ?ELECTION PopularElection)) (governmentType ?AREA Democracy)) |
Government.kif 1542-1549 | |
| (=> (and (instance ?AGENT Agent) (subclass (ElectionFn ?AGENT) Election)) (or (instance ?AGENT Organization) (instance ?AGENT GeopoliticalArea))) |
Government.kif 1646-1652 | |
| (=> (and (instance ?EVENT Election) (agent ?EVENT ?AGENT) (instance ?AGENT GeopoliticalArea)) (instance ?EVENT PoliticalProcess)) |
Merge.kif 12933-12938 | |
| (=> (and (instance ?EVENT Election) (agent ?EVENT ?AGENT) (instance ?AREA GeopoliticalArea) (instance ?AGENT (GovernmentFn ?AREA))) (instance ?EVENT PoliticalProcess)) |
Merge.kif 12940-12946 | |
| (=> (and (subProposition ExclusiveMaleSuffrage (RegionalLawFn ?AREA)) (attribute ?AGENT Female) (member ?AGENT (ResidentFn ?AREA)) (instance ?ELECTION Election)) (not (capability (VotingFn ?ELECTION) agent ?AGENT))) |
Government.kif 1221-1227 |
| consequent |
|
|
| (=> (instance ?VOTE Voting) (exists (?ELECT) (and (instance ?ELECT Election) (subProcess ?VOTE ?ELECT)))) |
Merge.kif 11099-11104 |
|
|
|