TreeView Knowledge Base Browser - ScrollWheelRotating

appearance as argument number 1

(disjoint ScrollWheelRotating AudioInput)	ComputerInput.kif 1668-1668	ScrollWheelRotating est disjoint de AudioInput
(disjoint ScrollWheelRotating JoystickMotion)	ComputerInput.kif 1669-1669	ScrollWheelRotating est disjoint de JoystickMotion
(disjoint ScrollWheelRotating KeyboardAction)	ComputerInput.kif 1670-1670	ScrollWheelRotating est disjoint de KeyboardAction
(disjoint ScrollWheelRotating TouchSurfaceAction)	ComputerInput.kif 1667-1667	ScrollWheelRotating est disjoint de TouchSurfaceAction
(disjoint ScrollWheelRotating Typing)	ComputerInput.kif 1691-1691	ScrollWheelRotating est disjoint de Typing
(documentation ScrollWheelRotating EnglishLanguage "A UserDirectAction consisting of rolling a ScrollWheel.")	ComputerInput.kif 1666-1666
(subclass ScrollWheelRotating Rotating)	ComputerInput.kif 1665-1665	ScrollWheelRotating est une sous-classe de Rotating
(subclass ScrollWheelRotating UserDirectAction)	ComputerInput.kif 1664-1664	ScrollWheelRotating est une sous-classe de UserDirectAction
(udaCanSignify ScrollWheelRotating MovingCursor)	ComputerInput.kif 1740-1740	udaCanSignify ScrollWheelRotating and MovingCursor
(udaCanSignify ScrollWheelRotating WindowScrollingByUser)	ComputerInput.kif 1807-1807	udaCanSignify ScrollWheelRotating and WindowScrollingByUser

appearance as argument number 2

(subclass ScrollWheelRotatingAway ScrollWheelRotating)	ComputerInput.kif 1679-1679	ScrollWheelRotatingAway est une sous-classe de ScrollWheelRotating
(subclass ScrollWheelRotatingInward ScrollWheelRotating)	ComputerInput.kif 1683-1683	ScrollWheelRotatingInward est une sous-classe de ScrollWheelRotating
(termFormat EnglishLanguage ScrollWheelRotating "scroll wheel rotating")	domainEnglishFormat.kif 65461-65461

antecedent

(=>
    (instance ?ACT ScrollWheelRotating)
    (exists (?WHEEL)
        (and
            (experiencer ?ACT ?WHEEL)
            (instance ?WHEEL ScrollWheel))))

ComputerInput.kif 1672-1677