Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Maneuver(maneuver)
|  | Chinaman, aerial, artifice, assist, at-bat, audible, ball_hawking, baseball_play, baseball_swing, basket, bat, batting, bent_hang, blitz, block, blocking, bosie, bosie_ball, bowling, break, cannon, carom, catching, check, checkmate, chess_move, completed, conversion, crosscheck, crucifix, cut, cutting, demarche, device, dip, discovered_check, double, double_dribble, double_leg_circle, double_play, double_reverse, doubling, down, draw, draw_play, dribble, dribbling, earned_run, en_garde, end_run... |
| appearance as argument number 1 |
|
|
| (subclass Maneuver IntentionalProcess) | Merge.kif 13695-13695 | Maneuver is a subclass of intentional process |
| (documentation Maneuver EnglishLanguage "An intentional move or play within a Contest. In many cases, a Maneuver is a realization of part of a strategy for winning the Contest, but it also may be just an arbitrary or semi-arbitrary division of the overarching Contest, e.g. innings in a baseball game.") | Merge.kif 13696-13699 | Maneuver is a subclass of intentional process |
| (externalImage Maneuver "http://upload.wikimedia.org/wikipedia/commons/d/ d2/ Football4.png") | pictureList.kif 10108-10108 | Maneuver is a subclass of intentional process |
| (externalImage Maneuver "http://upload.wikimedia.org/wikipedia/commons/2/ 25/ Fiji_Cook_Island_rugby.jpg") | pictureList.kif 11388-11388 | Maneuver is a subclass of intentional process |
| (externalImage Maneuver "http://upload.wikimedia.org/wikipedia/commons/f/ fd/ STS-120_backflip_maneuver.jpg") | pictureList.kif 11389-11389 | Maneuver is a subclass of intentional process |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?MOVE Maneuver) (exists (?CONTEST) (and (instance ?CONTEST Contest) (subProcess ?MOVE ?CONTEST)))) |
Merge.kif 13701-13706 | If X is an instance of maneuver, then there exists Y such that Y is an instance of contest and X is a subprocess of Y |
| (=> (and (instance ?MANEUVER Maneuver) (instance ?CONTEST ViolentContest) (subProcess ?MANEUVER ?CONTEST)) (or (instance ?MANEUVER Attack) (instance ?MANEUVER DefensiveManeuver))) |
Merge.kif 13752-13759 | If X is an instance of maneuver, Y is an instance of violent contest, and X is a subprocess of Y, then X is an instance of attack or X is an instance of defensive maneuver |
| consequent |
|
|
| (=> (and (instance ?SP SportsPlay) (realization ?P ?SP)) (exists (?S) (and (instance ?S TeamSport) (instance ?P Maneuver) (subProcess ?P ?S)))) |
Mid-level-ontology.kif 18257-18265 | If X is an instance of sports play and Y expresses the content of X, then there exists Z such that Z is an instance of team sport, Y is an instance of maneuver, and Y is a subprocess of Z |
| (=> (instance ?X VideoGamePlayer) (hasPurpose ?X (exists (?GAME ?RL ?MOVE ?CONTROLLER ?PLAYER) (and (instance ?GAME VideoGame) (instrument ?GAME ?X) (agent ?GAME ?PLAYER) (instance ?MOVE Maneuver) (instrument ?MOVE ?CONTROLLER) (agent ?MOVE ?PLAYER) (subProcess ?MOVE ?GAME) (part ?CONTROLLER ?X) (instance ?RL RadiatingLight) (agent ?RL ?X) (patient ?RL ?GAME))))) |
Mid-level-ontology.kif 28460-28475 | If X is an instance of video game player, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W,, , V (2) U such that Y is an instance of videogame (3) X is an instrument for Y (4) U is an agent of Y (5) W is an instance of maneuver (6) V is an instrument for W (7) U is an agent of W (8) W is a subprocess of Y (9) V is a part of X (10) Z is an instance of radiating light (11) X is an agent of Z (12) Y is a patient of Z |
|