ScrollWheel
|
|
appearance as argument number 1 |
(disjoint ScrollWheel ComputerKeyboard_Generic) | ComputerInput.kif 410-410 | 不相交的 ScrollWheel and ComputerKeyboard_Generic |
(disjoint ScrollWheel ComputerMouse) | ComputerInput.kif 411-411 | 不相交的 ScrollWheel and ComputerMouse |
(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 | |
(subclass ScrollWheel ComputerInputDevice) | ComputerInput.kif 403-403 | 子類 ScrollWheel and 電腦輸入設備 |
appearance as argument number 2 |
(disjoint TouchSensitiveComputerInputDevice ScrollWheel) | ComputerInput.kif 425-425 | 不相交的 TouchSensitiveComputerInputDevice and ScrollWheel |
(termFormat EnglishLanguage ScrollWheel "scroll wheel") | domainEnglishFormat.kif 65462-65462 |
consequent |
(=> (instance ?ACT ScrollWheelRotating) (exists (?WHEEL) (and (experiencer ?ACT ?WHEEL) (instance ?WHEEL ScrollWheel)))) |
ComputerInput.kif 1672-1677 |