| Typing(typing) | | double-space, touch-type, triple-space, type, typewrite |
| appearance as argument number 1 |
|
|
| (disjoint Typing AudioInput) | ComputerInput.kif 1692-1692 | Typing is disjoint from audio input |
| (disjoint Typing JoystickMotion) | ComputerInput.kif 1694-1694 | Typing is disjoint from joystick motion |
| (disjoint Typing TouchSurfaceAction) | ComputerInput.kif 1693-1693 | Typing is disjoint from touch surface action |
| (documentation Typing EnglishLanguage "A UserDirectAction consisting of typing on a keyboard. Each act of Typing has a number of subevents which are instances of SingleKeyPress.") | ComputerInput.kif 1689-1690 | Typing is disjoint from touch surface action |
| (subclass Typing KeyboardAction) | ComputerInput.kif 1688-1688 | Typing is a subclass of keyboard action |
| (udaCanSignify Typing InputCharacterString) | ComputerInput.kif 1872-1872 | Typing isgnifies input character string |
| appearance as argument number 2 |
|
|
| (disjoint ScrollWheelRotating Typing) | ComputerInput.kif 1691-1691 | Scroll wheel rotating is disjoint from typing |
| (termFormat EnglishLanguage Typing "typing") | domainEnglishFormat.kif 65681-65681 | Scroll wheel rotating is disjoint from typing |
| antecedent |
|
|
| (=> (instance ?TYPING Typing) (exists (?KEYPRESS) (and (subProcess ?KEYPRESS ?TYPING) (instance ?KEYPRESS SingleKeyPress)))) |
ComputerInput.kif 1696-1701 |
|
|
|
|