|
|
  BayonoLanguage
|
|
|
| appearance as argument number 1 |
|
|
| (disjoint ScrollWheel ComputerKeyboard_Generic) | ComputerInput.kif 410-410 | |
| (disjoint ScrollWheel ComputerMouse) | ComputerInput.kif 411-411 | |
| (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 |
| appearance as argument number 2 |
|
|
| (disjoint TouchSensitiveComputerInputDevice ScrollWheel) | ComputerInput.kif 425-425 | |
| (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 |
|
|
|