ScrollWheel - Sigma Knowledge base Browser

appearance as argument number 1

(disjoint ScrollWheel ComputerKeyboard_Generic)	ComputerInput.kif 410-410	Scroll wheel is disjoint from generic computer keyboard
(disjoint ScrollWheel ComputerMouse)	ComputerInput.kif 411-411	Scroll wheel is disjoint from computer mouse
(documentation ScrollWheel EnglishLanguage "A ComputerInputDevice that consists of a wheel that projects perpendicularly out of a surface. A ComputerUser may rotate it in either direction with a finger. ScrollWheels are often part of ComputerMouses.")	ComputerInput.kif 405-408	Scroll wheel is disjoint from computer mouse
(subclass ScrollWheel ComputerInputDevice)	ComputerInput.kif 403-403	Scroll wheel is a subclass of computer input device

appearance as argument number 2

(disjoint TouchSensitiveComputerInputDevice ScrollWheel)	ComputerInput.kif 425-425	Touch sensitive computer input device is disjoint from scroll wheel
(termFormat EnglishLanguage ScrollWheel "scroll wheel")	domainEnglishFormat.kif 65508-65508	Touch sensitive computer input device is disjoint from scroll wheel

consequent

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

ComputerInput.kif 1672-1677