ScrollWheelRotating - Sigma Knowledge base Browser

appearance as argument number 1

(disjoint ScrollWheelRotating AudioInput)	ComputerInput.kif 1668-1668	ScrollWheelRotating と AudioInput は disjoint では %n
(disjoint ScrollWheelRotating JoystickMotion)	ComputerInput.kif 1669-1669	ScrollWheelRotating と JoystickMotion は disjoint では %n
(disjoint ScrollWheelRotating KeyboardAction)	ComputerInput.kif 1670-1670	ScrollWheelRotating と KeyboardAction は disjoint では %n
(disjoint ScrollWheelRotating TouchSurfaceAction)	ComputerInput.kif 1667-1667	ScrollWheelRotating と TouchSurfaceAction は disjoint では %n
(disjoint ScrollWheelRotating Typing)	ComputerInput.kif 1691-1691	ScrollWheelRotating と Typing は disjoint では %n
(documentation ScrollWheelRotating EnglishLanguage "A UserDirectAction consisting of rolling a ScrollWheel.")	ComputerInput.kif 1666-1666
(subclass ScrollWheelRotating Rotating)	ComputerInput.kif 1665-1665	ScrollWheelRotating は Rotating の subclass では %n
(subclass ScrollWheelRotating UserDirectAction)	ComputerInput.kif 1664-1664	ScrollWheelRotating は UserDirectAction の subclass では %n
(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 は ScrollWheelRotating の subclass では %n
(subclass ScrollWheelRotatingInward ScrollWheelRotating)	ComputerInput.kif 1683-1683	ScrollWheelRotatingInward は ScrollWheelRotating の subclass では %n
(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