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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 16414-16417
(subclass GameShot Impelling) Mid-level-ontology.kif 16412-16412
(subclass GameShot Maneuver) Mid-level-ontology.kif 16413-16413

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


(subclass BaseballHit GameShot) Sports.kif 629-629
(subclass GolfDrive GameShot) Sports.kif 875-875
(subclass GolfPutt GameShot) Sports.kif 881-881
(subclass Pitching GameShot) Mid-level-ontology.kif 16484-16484
(subclass Score GameShot) Mid-level-ontology.kif 16437-16437
(subclass SportServe GameShot) Mid-level-ontology.kif 16458-16458
(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 16426-16431
(=>
    (instance ?SHOT GameShot)
    (exists (?PIECE)
        (and
            (instance ?PIECE GamePiece)
            (patient ?SHOT ?PIECE))))
Mid-level-ontology.kif 16419-16424
(=>
    (instance ?SHOT GameShot)
    (hasPurpose ?SHOT
        (instance ?SHOT Score)))
Mid-level-ontology.kif 16433-16435


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