Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
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 |
|
|
| (subclass Voting Selecting) | Merge.kif 12360-12360 | Voting is a subclass of selecting |
| (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 12361-12364 | Voting is a subclass of selecting |
| (externalImage Voting "http://upload.wikimedia.org/wikipedia/commons/thumb/ c/ c9/ PollingStation_UK_2005.jpg/ 180px_PollingStation_UK_2005.jpg") | pictureList.kif 1286-1286 | Voting is a subclass of selecting |
| appearance as argument number 2 |
|
|
| (rangeSubclass VotingFn Voting) | Government.kif 1701-1701 | The values returned by voting are subclasses of voting |
| (termFormat EnglishLanguage Voting "voting") | domainEnglishFormat.kif 61984-61984 | The values returned by voting are subclasses of voting |
| (termFormat ChineseTraditionalLanguage Voting "表決") | domainEnglishFormat.kif 61985-61985 | The values returned by voting are subclasses of voting |
| (termFormat ChineseLanguage Voting "表决") | domainEnglishFormat.kif 61986-61986 | The values returned by voting are subclasses of voting |
| antecedent |
|
|
| (=> (instance ?VOTE Voting) (exists (?ELECT) (and (instance ?ELECT Election) (subProcess ?VOTE ?ELECT)))) |
Merge.kif 12366-12371 | If X is an instance of voting, then there exists Y such that Y is an instance of election and X is a subprocess of Y |
| consequent |
|
|
| (=> (instance ?P VotingPoll) (exists (?V) (and (instance ?V Voting) (eventLocated ?V ?P)))) |
Mid-level-ontology.kif 8117-8122 | If X is an instance of voting poll, then there exists Y such that Y is an instance of voting and Y is located at X |
| (=> (instance ?B Ballot) (hasPurpose ?B (exists (?V) (and (instance ?V Voting) (instrument ?V ?B))))) |
Mid-level-ontology.kif 16104-16110 | If X is an instance of ballot, then X has the purpose there exists Y such that Y is an instance of voting and X is an instrument for Y |
|