more pictures...
| Ballot
more pictures... | |
| appearance as argument number 1 |
|
|
| (documentation Ballot EnglishLanguage "A FormText which is used in Voting. A list of candidates is printed on the form, and the voter selects the candidate he/ she wants to vote for.") | Mid-level-ontology.kif 14496-14498 | |
| (externalImage Ballot "http://upload.wikimedia.org/wikipedia/commons/0/0a/ Ballot_box_current.svg") | pictureList.kif 2749-2749 | |
| (externalImage Ballot "http://upload.wikimedia.org/wikipedia/commons/6/66/ Butterfly_large.jpg") | pictureList.kif 2747-2747 | |
| (externalImage Ballot "http://upload.wikimedia.org/wikipedia/commons/6/6b/ Marked_ballot.jpg") | pictureList.kif 2748-2748 | |
| (externalImage Ballot "http://upload.wikimedia.org/wikipedia/commons/9/98/ TRS_ballot_papers.svg") | pictureList.kif 2645-2645 | |
| (externalImage Ballot "http://upload.wikimedia.org/wikipedia/commons/c/c5/ Bundestagswahl2005_stimmzettel_small.jpg") | pictureList.kif 2751-2751 | |
| (subclass Ballot FormText) | Mid-level-ontology.kif 14495-14495 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Ballot "选票") | domainEnglishFormat.kif 9696-9696 | |
| (termFormat ChineseTraditionalLanguage Ballot "選票") | domainEnglishFormat.kif 9695-9695 | |
| (termFormat EnglishLanguage Ballot "ballot") | domainEnglishFormat.kif 9694-9694 |
| antecedent |
|
|
| (=> (instance ?B Ballot) (hasPurpose ?B (exists (?V) (and (instance ?V Voting) (instrument ?V ?B))))) |
Mid-level-ontology.kif 14499-14505 |
|
|
|