ScrollWheel - Sigma Knowledge base Browser

appearance as argument number 1

(disjoint ScrollWheel ComputerKeyboard_Generic)	ComputerInput.kif 410-410	ScrollWheel 和 % 2 是 disjoint
(disjoint ScrollWheel ComputerMouse)	ComputerInput.kif 411-411	ScrollWheel 和 % 2 是 disjoint
(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	ScrollWheel 和 % 2 是 disjoint
(subclass ScrollWheel ComputerInputDevice)	ComputerInput.kif 403-403	ScrollWheel 是电脑输入设备的 subclass

appearance as argument number 2

(disjoint TouchSensitiveComputerInputDevice ScrollWheel)	ComputerInput.kif 425-425	TouchSensitiveComputerInputDevice 和 % 2 是 disjoint
(termFormat EnglishLanguage ScrollWheel "scroll wheel")	domainEnglishFormat.kif 65485-65485	TouchSensitiveComputerInputDevice 和 % 2 是 disjoint

consequent

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

ComputerInput.kif 1672-1677