| GameShot | |
| appearance as argument number 1 |
|
|
| (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 13628-13631 | |
| (subclass GameShot Impelling) | Mid-level-ontology.kif 13626-13626 | |
| (subclass GameShot Maneuver) | Mid-level-ontology.kif 13627-13627 |
| appearance as argument number 2 |
|
|
| (subclass BaseballHit GameShot) | Sports.kif 584-584 | |
| (subclass GolfDrive GameShot) | Sports.kif 799-799 | |
| (subclass GolfPutt GameShot) | Sports.kif 805-805 | |
| (subclass Pitching GameShot) | Mid-level-ontology.kif 13698-13698 | |
| (subclass Score GameShot) | Mid-level-ontology.kif 13651-13651 | |
| (subclass SportServe GameShot) | Mid-level-ontology.kif 13672-13672 | |
| (termFormat ChineseLanguage GameShot "游戏镜头") | domainEnglishFormat.kif 25473-25473 | |
| (termFormat ChineseTraditionalLanguage GameShot "遊戲鏡頭") | domainEnglishFormat.kif 25472-25472 | |
| (termFormat EnglishLanguage GameShot "game shot") | domainEnglishFormat.kif 25471-25471 |
| antecedent |
|
|
| (=> (instance ?SHOT GameShot) (exists (?GAME) (and (instance ?GAME Game) (subProcess ?SHOT ?GAME)))) |
Mid-level-ontology.kif 13640-13645 | |
| (=> (instance ?SHOT GameShot) (exists (?PIECE) (and (instance ?PIECE GamePiece) (patient ?SHOT ?PIECE)))) |
Mid-level-ontology.kif 13633-13638 | |
| (=> (instance ?SHOT GameShot) (hasPurpose ?SHOT (instance ?SHOT Score))) |
Mid-level-ontology.kif 13647-13649 |
|
|
|