JoystickMotion - Sigma Knowledge base Browser

appearance as argument number 1

(disjoint JoystickMotion KeyboardAction)	ComputerInput.kif 1636-1636	Joystick motion is disjoint from keyboard action
(disjoint JoystickMotion TouchSurfaceAction)	ComputerInput.kif 1635-1635	Joystick motion is disjoint from touch surface action
(documentation JoystickMotion EnglishLanguage "A UserDirectAction consisting of moving a Joystick.")	ComputerInput.kif 1634-1634	Joystick motion is disjoint from touch surface action
(subclass JoystickMotion UserDirectAction)	ComputerInput.kif 1633-1633	Joystick motion is a subclass of user direct action

appearance as argument number 2

(disjoint AudioInput JoystickMotion)	ComputerInput.kif 1656-1656	Audio input is disjoint from joystick motion
(disjoint ScrollWheelRotating JoystickMotion)	ComputerInput.kif 1669-1669	Scroll wheel rotating is disjoint from joystick motion
(disjoint Typing JoystickMotion)	ComputerInput.kif 1694-1694	Typing is disjoint from joystick motion
(termFormat EnglishLanguage JoystickMotion "joystick motion")	domainEnglishFormat.kif 65105-65105	Typing is disjoint from joystick motion

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