Typing - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Typing KeyboardAction)	ComputerInput.kif 1704-1704	Typing is a subclass of keyboard 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 1705-1706	Typing is a subclass of keyboard action
(disjoint Typing AudioInput)	ComputerInput.kif 1708-1708	Typing is disjoint from audio input
(disjoint Typing TouchSurfaceAction)	ComputerInput.kif 1709-1709	Typing is disjoint from touch surface action
(disjoint Typing JoystickMotion)	ComputerInput.kif 1710-1710	Typing is disjoint from joystick motion
(udaCanSignify Typing InputCharacterString)	ComputerInput.kif 1888-1888	Typing isgnifies input character string

appearance as argument number 2

(disjoint ScrollWheelRotating Typing)	ComputerInput.kif 1707-1707	Scroll wheel rotating is disjoint from typing
(termFormat EnglishLanguage Typing "typing")	domainEnglishFormat.kif 65636-65636	Scroll wheel rotating is disjoint from typing

antecedent

(=>
    (instance ?TYPING Typing)
    (exists (?KEYPRESS)
        (and
            (subProcess ?KEYPRESS ?TYPING)
            (instance ?KEYPRESS SingleKeyPress))))

If X is an instance of typing, then there exists Y such that Y is a subprocess of X and Y is an instance of single key press