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, game_shot, king, opening, putt, 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 14574-14577
(subclass GameShot Impelling) Mid-level-ontology.kif 14572-14572 Game shot is a subclass of impelling
(subclass GameShot Maneuver) Mid-level-ontology.kif 14573-14573 Game shot is a subclass of maneuver

appearance as argument number 2
-------------------------


(subclass BaseballHit GameShot) Sports.kif 584-584 Baseball hit is a subclass of game shot
(subclass GolfDrive GameShot) Sports.kif 799-799 Golf drive is a subclass of game shot
(subclass GolfPutt GameShot) Sports.kif 805-805 Golf put is a subclass of game shot
(subclass Pitching GameShot) Mid-level-ontology.kif 14644-14644 Pitching is a subclass of game shot
(subclass Score GameShot) Mid-level-ontology.kif 14597-14597 Score is a subclass of game shot
(subclass SportServe GameShot) Mid-level-ontology.kif 14618-14618 Sport serve is a subclass of game shot
(termFormat ChineseLanguage GameShot "游戏镜头") domainEnglishFormat.kif 25411-25411 "游戏镜头" is the printable form of game shot in ChineseLanguage
(termFormat ChineseTraditionalLanguage GameShot "遊戲鏡頭") domainEnglishFormat.kif 25410-25410 "遊戲鏡頭" is the printable form of game shot in ChineseTraditionalLanguage
(termFormat EnglishLanguage GameShot "game shot") domainEnglishFormat.kif 25409-25409 "game shot" is the printable form of game shot in english language

antecedent
-------------------------


(=>
    (instance ?SHOT GameShot)
    (exists (?GAME)
        (and
            (instance ?GAME Game)
            (subProcess ?SHOT ?GAME))))
Mid-level-ontology.kif 14586-14591
(=>
    (instance ?SHOT GameShot)
    (exists (?PIECE)
        (and
            (instance ?PIECE GamePiece)
            (patient ?SHOT ?PIECE))))
Mid-level-ontology.kif 14579-14584
(=>
    (instance ?SHOT GameShot)
    (hasPurpose ?SHOT
        (instance ?SHOT Score)))
Mid-level-ontology.kif 14593-14595


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners