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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - JoystickMotion
JoystickMotion

appearance as argument number 1
-------------------------


(disjoint JoystickMotion KeyboardAction) ComputerInput.kif 1636-1636
(disjoint JoystickMotion TouchSurfaceAction) ComputerInput.kif 1635-1635
(documentation JoystickMotion EnglishLanguage "A UserDirectAction consisting of moving a Joystick.") ComputerInput.kif 1634-1634
(subclass JoystickMotion UserDirectAction) ComputerInput.kif 1633-1633

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


(disjoint AudioInput JoystickMotion) ComputerInput.kif 1656-1656
(disjoint ScrollWheelRotating JoystickMotion) ComputerInput.kif 1669-1669
(disjoint Typing JoystickMotion) ComputerInput.kif 1694-1694
(termFormat EnglishLanguage JoystickMotion "joystick motion") domainEnglishFormat.kif 65057-65057

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


(=>
    (instance ?ACT JoystickMotion)
    (exists (?JOYSTICK)
        (and
            (patient ?ACT ?JOYSTICK)
            (instance ?JOYSTICK Joystick))))
ComputerInput.kif 1638-1643

consequent
-------------------------


(=>
    (and
        (instance ?ACT UserDirectAction)
        (patient ?ACT ?JOYSTICK)
        (instance ?JOYSTICK Joystick))
    (instance ?ACT JoystickMotion))
ComputerInput.kif 1645-1650


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