ScrollWheelRotating(scroll wheel rotating) |
appearance as argument number 1 |
appearance as argument number 2 |
(subclass ScrollWheelRotatingAway ScrollWheelRotating) | ComputerInput.kif 1679-1679 | Scroll wheel rotating away is a subclass of scroll wheel rotating |
(subclass ScrollWheelRotatingInward ScrollWheelRotating) | ComputerInput.kif 1683-1683 | Scroll wheel rotating inward is a subclass of scroll wheel rotating |
(termFormat EnglishLanguage ScrollWheelRotating "scroll wheel rotating") | domainEnglishFormat.kif 65509-65509 | Scroll wheel rotating inward is a subclass of scroll wheel rotating |
antecedent |
(=> (instance ?ACT ScrollWheelRotating) (exists (?WHEEL) (and (experiencer ?ACT ?WHEEL) (instance ?WHEEL ScrollWheel)))) |
ComputerInput.kif 1672-1677 |
|