ScrollWheelRotating - Sigma Knowledge base Browser

appearance as argument number 1

(disjoint ScrollWheelRotating AudioInput)	ComputerInput.kif 1668-1668	ScrollWheelRotating ist dijunkt von AudioInput %n{nicht}
(disjoint ScrollWheelRotating JoystickMotion)	ComputerInput.kif 1669-1669	ScrollWheelRotating ist dijunkt von JoystickMotion %n{nicht}
(disjoint ScrollWheelRotating KeyboardAction)	ComputerInput.kif 1670-1670	ScrollWheelRotating ist dijunkt von KeyboardAction %n{nicht}
(disjoint ScrollWheelRotating TouchSurfaceAction)	ComputerInput.kif 1667-1667	ScrollWheelRotating ist dijunkt von TouchSurfaceAction %n{nicht}
(disjoint ScrollWheelRotating Typing)	ComputerInput.kif 1691-1691	ScrollWheelRotating ist dijunkt von Typing %n{nicht}
(documentation ScrollWheelRotating EnglishLanguage "A UserDirectAction consisting of rolling a ScrollWheel.")	ComputerInput.kif 1666-1666
(subclass ScrollWheelRotating Rotating)	ComputerInput.kif 1665-1665	ScrollWheelRotating ist eine teilkategorie von Rotating
(subclass ScrollWheelRotating UserDirectAction)	ComputerInput.kif 1664-1664	ScrollWheelRotating ist eine teilkategorie von 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 ist eine teilkategorie von ScrollWheelRotating
(subclass ScrollWheelRotatingInward ScrollWheelRotating)	ComputerInput.kif 1683-1683	ScrollWheelRotatingInward ist eine teilkategorie von 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