| 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 AudioInput |
| (disjoint Typing JoystickMotion) | ComputerInput.kif 1694-1694 | Typing is disjoint from JoystickMotion |
| (disjoint Typing TouchSurfaceAction) | ComputerInput.kif 1693-1693 | Typing is disjoint from TouchSurfaceAction |
| (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 TouchSurfaceAction |
| (subclass Typing KeyboardAction) | ComputerInput.kif 1688-1688 | Typing is a subclass of KeyboardAction |
| (udaCanSignify Typing InputCharacterString) | ComputerInput.kif 1872-1872 | udaCanSignify Typing and InputCharacterString |
| appearance as argument number 2 |
|
|
| (disjoint ScrollWheelRotating Typing) | ComputerInput.kif 1691-1691 | ScrollWheelRotating is disjoint from Typing |
| (termFormat EnglishLanguage Typing "typing") | domainEnglishFormat.kif 65626-65626 | ScrollWheelRotating is disjoint from Typing |
| antecedent |
|
|
| (=> (instance ?TYPING Typing) (exists (?KEYPRESS) (and (subProcess ?KEYPRESS ?TYPING) (instance ?KEYPRESS SingleKeyPress)))) |
ComputerInput.kif 1696-1701 |
|
|
|
|