more pictures...
| GameCall(game call)
more pictures... | | call, officiating, officiation, refereeing, umpirage |
| appearance as argument number 1 |
|
|
| (subclass GameCall Deciding) | Mid-level-ontology.kif 17838-17838 | Game call is a subclass of deciding |
| (subclass GameCall Declaring) | Mid-level-ontology.kif 17839-17839 | Game call is a subclass of declaring |
| (documentation GameCall EnglishLanguage "A decision issued by an official referee in a Game. Note that GameCall is a subclass of Declaring, because these decisions have binding, normative force.") | Mid-level-ontology.kif 17840-17842 | Game call is a subclass of declaring |
| (externalImage GameCall "http://upload.wikimedia.org/wikipedia/commons/9/ 98/ Referee_hockey_ahl_2004.jpg") | pictureList.kif 2954-2954 | Game call is a subclass of declaring |
| (externalImage GameCall "http://upload.wikimedia.org/wikipedia/commons/e/ e6/ Assistant_referee_15abr2007.jpg") | pictureList.kif 3084-3084 | Game call is a subclass of declaring |
| (externalImage GameCall "http://upload.wikimedia.org/wikipedia/commons/3/ 31/ Delayedpenalty.gif") | pictureList.kif 3085-3085 | Game call is a subclass of declaring |
| (externalImage GameCall "http://upload.wikimedia.org/wikipedia/commons/6/ 63/ Delayofgame.gif") | pictureList.kif 3086-3086 | Game call is a subclass of declaring |
| (externalImage GameCall "http://upload.wikimedia.org/wikipedia/commons/7/ 7d/ Penaltyshot.png") | pictureList.kif 3087-3087 | Game call is a subclass of declaring |
| (externalImage GameCall "http://upload.wikimedia.org/wikipedia/commons/d/ d6/ DEL_Schiri_Rick_Looker_2006-1.JPG") | pictureList.kif 3089-3089 | Game call is a subclass of declaring |
| (externalImage GameCall "http://upload.wikimedia.org/wikipedia/commons/4/ 44/ Boarding.png") | pictureList.kif 3090-3090 | Game call is a subclass of declaring |
| (externalImage GameCall "http://upload.wikimedia.org/wikipedia/commons/8/ 89/ Delayedpenalty.png") | pictureList.kif 3091-3091 | Game call is a subclass of declaring |
| (externalImage GameCall "http://upload.wikimedia.org/wikipedia/commons/f/ f8/ Penalty.png") | pictureList.kif 3092-3092 | Game call is a subclass of declaring |
| (externalImage GameCall "http://upload.wikimedia.org/wikipedia/commons/f/ f1/ 2_Minutes_Suspension.jpg") | pictureList.kif 3093-3093 | Game call is a subclass of declaring |
| (externalImage GameCall "http://upload.wikimedia.org/wikipedia/commons/6/ 62/ Yellow_card_handball.jpg") | pictureList.kif 3094-3094 | Game call is a subclass of declaring |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?CALL GameCall) (exists (?GAME) (and (instance ?GAME Game) (refers ?CALL ?GAME)))) |
Mid-level-ontology.kif 17844-17849 | If X is an instance of game call, then there exists Y such that Y is an instance of game and X includes a reference to Y |
|
|
|