| Voting(voting)
| | ballot, balloting, block_vote, bullet_vote, cast, casting_vote, co-optation, co-option, multiple_voting, plebiscite, secret_ballot, vote, voting, write-in |
| appearance as argument number 1 |
|
|
| (documentation Voting ChineseLanguage "Voting 是在 Election 中的表决活动。投票通常由个人所 进行，而 Election 往往由 Organization 所举办。有个别选民所参与的投票过程是 Election 过程的 一部分。") | chinese_format.kif 3124-3126 | |
| (documentation Voting EnglishLanguage "Voting is the activity of voting in an Election. Voting is typically done by individuals, while Elections are conducted by Organizations. The voting process by an individual voter is part of an Election process.") | Merge.kif 12150-12153 | |
| (externalImage Voting "http://upload.wikimedia.org/wikipedia/commons/thumb/ c/ c9/ PollingStation_UK_2005.jpg/ 180px_PollingStation_UK_2005.jpg") | pictureList.kif 1286-1286 | |
| (subclass Voting Selecting) | Merge.kif 12149-12149 | Voting is a subclass of selecting |
| appearance as argument number 2 |
|
|
| (rangeSubclass VotingFn Voting) | Government.kif 1692-1692 | The values returned by voting are subclasses of voting |
| (termFormat ChineseLanguage Voting "表决") | domainEnglishFormat.kif 62006-62006 | The values returned by voting are subclasses of voting |
| (termFormat ChineseTraditionalLanguage Voting "表決") | domainEnglishFormat.kif 62005-62005 | The values returned by voting are subclasses of voting |
| (termFormat EnglishLanguage Voting "voting") | domainEnglishFormat.kif 62004-62004 | The values returned by voting are subclasses of voting |
| antecedent |
|
|
| (=> (instance ?VOTE Voting) (exists (?ELECT) (and (instance ?ELECT Election) (subProcess ?VOTE ?ELECT)))) |
Merge.kif 12155-12160 |
|
| consequent |
|
|
| (=> (instance ?B Ballot) (hasPurpose ?B (exists (?V) (and (instance ?V Voting) (instrument ?V ?B))))) |
Mid-level-ontology.kif 15427-15433 |
|
| (=> (instance ?P VotingPoll) (exists (?V) (and (instance ?V Voting) (eventLocated ?V ?P)))) |
Mid-level-ontology.kif 7574-7579 |
|
|
|
|