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 17021-17024
(subclass GameShot Impelling) Mid-level-ontology.kif 17019-17019 子類 遊戲鏡頭 and Impelling
(subclass GameShot Maneuver) Mid-level-ontology.kif 17020-17020 子類 遊戲鏡頭 and Maneuver

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


(subclass BaseballHit GameShot) Sports.kif 698-698 子類 棒球擊中 and 遊戲鏡頭
(subclass GolfDrive GameShot) Sports.kif 948-948 子類 GolfDrive and 遊戲鏡頭
(subclass GolfPutt GameShot) Sports.kif 954-954 子類 GolfPutt and 遊戲鏡頭
(subclass Pitching GameShot) Mid-level-ontology.kif 17091-17091 子類 鋪地石 and 遊戲鏡頭
(subclass Score GameShot) Mid-level-ontology.kif 17044-17044 子類 得分 and 遊戲鏡頭
(subclass SportServe GameShot) Mid-level-ontology.kif 17065-17065 子類 體育服務 and 遊戲鏡頭
(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 17033-17038
(=>
    (instance ?SHOT GameShot)
    (exists (?PIECE)
        (and
            (instance ?PIECE GamePiece)
            (patient ?SHOT ?PIECE))))
Mid-level-ontology.kif 17026-17031
(=>
    (instance ?SHOT GameShot)
    (hasPurpose ?SHOT
        (instance ?SHOT Score)))
Mid-level-ontology.kif 17040-17042


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