|
|
   ScrollWheel
|
|
|
| appearance as argument number 1 |
|
|
| (disjoint ScrollWheel ComputerKeyboard_Generic) | ComputerInput.kif 410-410 | ScrollWheel est disjoint de ComputerKeyboard_Generic |
| (disjoint ScrollWheel ComputerMouse) | ComputerInput.kif 411-411 | ScrollWheel est disjoint de 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 est une sous-classe de ComputerInputDevice |
| appearance as argument number 2 |
|
|
| (disjoint TouchSensitiveComputerInputDevice ScrollWheel) | ComputerInput.kif 425-425 | TouchSensitiveComputerInputDevice est disjoint de ScrollWheel |
| (termFormat EnglishLanguage ScrollWheel "scroll wheel") | domainEnglishFormat.kif 65460-65460 |
| consequent |
|
|
| (=> (instance ?ACT ScrollWheelRotating) (exists (?WHEEL) (and (experiencer ?ACT ?WHEEL) (instance ?WHEEL ScrollWheel)))) |
ComputerInput.kif 1672-1677 |
|
|
|
|