Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| GameShot(game shot) |  | attack, chess_opening, counterattack, counterplay, daisy_cutter, king, opening, putt, shoot, shot, stroke, tennis_shot, tennis_stroke |
| appearance as argument number 1 |
|
|
| (subclass GameShot Impelling) | Mid-level-ontology.kif 18637-18637 | Game shot is a subclass of impelling |
| (subclass GameShot Maneuver) | Mid-level-ontology.kif 18638-18638 | Game shot is a subclass of maneuver |
| (documentation GameShot EnglishLanguage "Impelling a GamePiece for the purpose of scoring a point or preventing the opposing player or team from scoring a point. Note that this class does not cover shots which are disallowed by the rules of the game.") | Mid-level-ontology.kif 18639-18642 | Game shot is a subclass of maneuver |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?SHOT GameShot) (exists (?PIECE) (and (instance ?PIECE GamePiece) (patient ?SHOT ?PIECE)))) |
Mid-level-ontology.kif 18644-18649 | If X is an instance of game shot, then there exists Y such that Y is an instance of game piece and Y is a patient of X |
| (=> (instance ?SHOT GameShot) (exists (?GAME) (and (instance ?GAME Game) (subProcess ?SHOT ?GAME)))) |
Mid-level-ontology.kif 18651-18656 | If X is an instance of game shot, then there exists Y such that Y is an instance of game and X is a subprocess of Y |
| (=> (instance ?SHOT GameShot) (hasPurpose ?SHOT (instance ?SHOT Score))) |
Mid-level-ontology.kif 18658-18660 | If X is an instance of game shot, then X has the purpose X is an instance of score |
|