| 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 65454-65454 | 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 |
|
|
|