Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  GameShot

Sigma KEE - GameShot
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 17020-17023
(subclass GameShot Impelling) Mid-level-ontology.kif 17018-17018 GameShot強いることsubclass では %n
(subclass GameShot Maneuver) Mid-level-ontology.kif 17019-17019 GameShot策略subclass では %n

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


(subclass BaseballHit GameShot) Sports.kif 698-698 BaseballHitGameShotsubclass では %n
(subclass GolfDrive GameShot) Sports.kif 948-948 GolfDriveGameShotsubclass では %n
(subclass GolfPutt GameShot) Sports.kif 954-954 GolfPuttGameShotsubclass では %n
(subclass Pitching GameShot) Mid-level-ontology.kif 17090-17090 PitchingGameShotsubclass では %n
(subclass Score GameShot) Mid-level-ontology.kif 17043-17043 ScoreGameShotsubclass では %n
(subclass SportServe GameShot) Mid-level-ontology.kif 17064-17064 SportServeGameShotsubclass では %n
(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 17032-17037
(=>
    (instance ?SHOT GameShot)
    (exists (?PIECE)
        (and
            (instance ?PIECE GamePiece)
            (patient ?SHOT ?PIECE))))
Mid-level-ontology.kif 17025-17030
(=>
    (instance ?SHOT GameShot)
    (hasPurpose ?SHOT
        (instance ?SHOT Score)))
Mid-level-ontology.kif 17039-17041


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

Show without tree


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