GameShot - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - GameShot

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

(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 17949-17952
(subclass GameShot Impelling)	Mid-level-ontology.kif 17947-17947	Game shot is a subclass of impelling
(subclass GameShot Maneuver)	Mid-level-ontology.kif 17948-17948	Game shot is a subclass of maneuver

appearance as argument number 2

(subclass BaseballHit GameShot)	Sports.kif 698-698	Baseball hit is a subclass of game shot
(subclass GolfDrive GameShot)	Sports.kif 948-948	Golf drive is a subclass of game shot
(subclass GolfPutt GameShot)	Sports.kif 954-954	Golf put is a subclass of game shot
(subclass Pitching GameShot)	Mid-level-ontology.kif 18019-18019	Pitching is a subclass of game shot
(subclass Score GameShot)	Mid-level-ontology.kif 17972-17972	Score is a subclass of game shot
(subclass SportServe GameShot)	Mid-level-ontology.kif 17993-17993	Sport serve is a subclass of game shot
(termFormat ChineseLanguage GameShot "游戏镜头")	domainEnglishFormat.kif 25506-25506	Sport serve is a subclass of game shot
(termFormat ChineseTraditionalLanguage GameShot "遊戲鏡頭")	domainEnglishFormat.kif 25505-25505	Sport serve is a subclass of game shot
(termFormat EnglishLanguage GameShot "game shot")	domainEnglishFormat.kif 25504-25504	Sport serve is a subclass of game shot

antecedent

(=> (instance ?SHOT GameShot) (exists (?GAME) (and (instance ?GAME Game) (subProcess ?SHOT ?GAME))))	Mid-level-ontology.kif 17961-17966	If a process is an instance of game shot, then there exists another process such that the other process is an instance of game and the process is a subprocess of the other process
(=> (instance ?SHOT GameShot) (exists (?PIECE) (and (instance ?PIECE GamePiece) (patient ?SHOT ?PIECE))))	Mid-level-ontology.kif 17954-17959	If a process is an instance of game shot, then there exists an entity such that the entity is an instance of game piece and the entity is a patient of the process
(=> (instance ?SHOT GameShot) (hasPurpose ?SHOT (instance ?SHOT Score)))	Mid-level-ontology.kif 17968-17970	If a physical is an instance of game shot, then the physical has the purpose the physical is an instance of score

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners