ScrollWheelRotating
|
|
appearance as argument number 1 |
(disjoint ScrollWheelRotating AudioInput) | ComputerInput.kif 1668-1668 | |
(disjoint ScrollWheelRotating JoystickMotion) | ComputerInput.kif 1669-1669 | |
(disjoint ScrollWheelRotating KeyboardAction) | ComputerInput.kif 1670-1670 | |
(disjoint ScrollWheelRotating TouchSurfaceAction) | ComputerInput.kif 1667-1667 | |
(disjoint ScrollWheelRotating Typing) | ComputerInput.kif 1691-1691 | |
(documentation ScrollWheelRotating EnglishLanguage "A UserDirectAction consisting of rolling a ScrollWheel.") | ComputerInput.kif 1666-1666 | |
(subclass ScrollWheelRotating Rotating) | ComputerInput.kif 1665-1665 | |
(subclass ScrollWheelRotating UserDirectAction) | ComputerInput.kif 1664-1664 | |
(udaCanSignify ScrollWheelRotating MovingCursor) | ComputerInput.kif 1740-1740 | |
(udaCanSignify ScrollWheelRotating WindowScrollingByUser) | ComputerInput.kif 1807-1807 |
appearance as argument number 2 |
(subclass ScrollWheelRotatingAway ScrollWheelRotating) | ComputerInput.kif 1679-1679 | |
(subclass ScrollWheelRotatingInward ScrollWheelRotating) | ComputerInput.kif 1683-1683 | |
(termFormat EnglishLanguage ScrollWheelRotating "scroll wheel rotating") | domainEnglishFormat.kif 65463-65463 |
antecedent |
(=> (instance ?ACT ScrollWheelRotating) (exists (?WHEEL) (and (experiencer ?ACT ?WHEEL) (instance ?WHEEL ScrollWheel)))) |
ComputerInput.kif 1672-1677 |