JoystickMotion - Sigma Knowledge base Browser

appearance as argument number 1

(subclass JoystickMotion UserDirectAction)	ComputerInput.kif 1649-1649	Joystick motion is a subclass of user direct action
(documentation JoystickMotion EnglishLanguage "A UserDirectAction consisting of moving a Joystick.")	ComputerInput.kif 1650-1650	Joystick motion is a subclass of user direct action
(disjoint JoystickMotion TouchSurfaceAction)	ComputerInput.kif 1651-1651	Joystick motion is disjoint from touch surface action
(disjoint JoystickMotion KeyboardAction)	ComputerInput.kif 1652-1652	Joystick motion is disjoint from keyboard action

appearance as argument number 2

(disjoint AudioInput JoystickMotion)	ComputerInput.kif 1672-1672	Audio input is disjoint from joystick motion
(disjoint ScrollWheelRotating JoystickMotion)	ComputerInput.kif 1685-1685	Scroll wheel rotating is disjoint from joystick motion
(disjoint Typing JoystickMotion)	ComputerInput.kif 1710-1710	Typing is disjoint from joystick motion
(termFormat EnglishLanguage JoystickMotion "joystick motion")	domainEnglishFormat.kif 65060-65060	Typing is disjoint from joystick motion

antecedent

(=>
    (instance ?ACT JoystickMotion)
    (exists (?JOYSTICK)
        (and
            (patient ?ACT ?JOYSTICK)
            (instance ?JOYSTICK Joystick))))

If X is an instance of joystick motion, then there exists Y such that Y is a patient of X and Y is an instance of joystick

consequent

(=>
    (and
        (instance ?ACT UserDirectAction)
        (patient ?ACT ?JOYSTICK)
        (instance ?JOYSTICK Joystick))
    (instance ?ACT JoystickMotion))