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 17048-17051
(subclass GameShot Impelling) Mid-level-ontology.kif 17046-17046 游戏镜头驱动subclass
(subclass GameShot Maneuver) Mid-level-ontology.kif 17047-17047 游戏镜头竞争招数subclass

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


(subclass BaseballHit GameShot) Sports.kif 698-698 棒球击中游戏镜头subclass
(subclass GolfDrive GameShot) Sports.kif 948-948 GolfDrive游戏镜头subclass
(subclass GolfPutt GameShot) Sports.kif 954-954 GolfPutt游戏镜头subclass
(subclass Pitching GameShot) Mid-level-ontology.kif 17118-17118 铺地石游戏镜头subclass
(subclass Score GameShot) Mid-level-ontology.kif 17071-17071 得分游戏镜头subclass
(subclass SportServe GameShot) Mid-level-ontology.kif 17092-17092 体育服务游戏镜头subclass
(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 17060-17065
(=>
    (instance ?SHOT GameShot)
    (exists (?PIECE)
        (and
            (instance ?PIECE GamePiece)
            (patient ?SHOT ?PIECE))))
Mid-level-ontology.kif 17053-17058
(=>
    (instance ?SHOT GameShot)
    (hasPurpose ?SHOT
        (instance ?SHOT Score)))
Mid-level-ontology.kif 17067-17069


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