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 17021-17024 | |
(subclass GameShot Impelling) | Mid-level-ontology.kif 17019-17019 | GameShot ist eine teilkategorie von Impelling |
(subclass GameShot Maneuver) | Mid-level-ontology.kif 17020-17020 | GameShot ist eine teilkategorie von Maneuver |
appearance as argument number 2 |
(subclass BaseballHit GameShot) | Sports.kif 698-698 | BaseballHit ist eine teilkategorie von GameShot |
(subclass GolfDrive GameShot) | Sports.kif 948-948 | GolfDrive ist eine teilkategorie von GameShot |
(subclass GolfPutt GameShot) | Sports.kif 954-954 | GolfPutt ist eine teilkategorie von GameShot |
(subclass Pitching GameShot) | Mid-level-ontology.kif 17091-17091 | Pitching ist eine teilkategorie von GameShot |
(subclass Score GameShot) | Mid-level-ontology.kif 17044-17044 | Score ist eine teilkategorie von GameShot |
(subclass SportServe GameShot) | Mid-level-ontology.kif 17065-17065 | SportServe ist eine teilkategorie von GameShot |
(termFormat ChineseLanguage GameShot "游戏镜头") | domainEnglishFormat.kif 25478-25478 | |
(termFormat ChineseTraditionalLanguage GameShot "遊戲鏡頭") | domainEnglishFormat.kif 25477-25477 | |
(termFormat EnglishLanguage GameShot "game shot") | domainEnglishFormat.kif 25476-25476 |
antecedent |
(=> (instance ?SHOT GameShot) (exists (?GAME) (and (instance ?GAME Game) (subProcess ?SHOT ?GAME)))) |
Mid-level-ontology.kif 17033-17038 |
|
(=> (instance ?SHOT GameShot) (exists (?PIECE) (and (instance ?PIECE GamePiece) (patient ?SHOT ?PIECE)))) |
Mid-level-ontology.kif 17026-17031 | |
(=> (instance ?SHOT GameShot) (hasPurpose ?SHOT (instance ?SHOT Score))) |
Mid-level-ontology.kif 17040-17042 |
|