SingleKeyPress - Sigma Knowledge base Browser

appearance as argument number 1

(subclass SingleKeyPress KeyboardAction)	ComputerInput.kif 1369-1369	Single key press is a subclass of keyboard action
(documentation SingleKeyPress EnglishLanguage "A SingleKeyPress is a UserDirectAction of typing (breifly pressing down) a keyboard key.")	ComputerInput.kif 1370-1371	Single key press is a subclass of keyboard action
(disjoint SingleKeyPress KeyHoldDown)	ComputerInput.kif 1372-1372	Single key press is disjoint from holding down a key

appearance as argument number 2

(rangeSubclass PressingKeyFn SingleKeyPress)	ComputerInput.kif 1376-1376	The values returned by pressing key fn are subclasses of single key press
(subclass CharacterKeyPress SingleKeyPress)	ComputerInput.kif 1380-1380	Character key press is a subclass of single key press
(subclass SpecialCharacterPress SingleKeyPress)	ComputerInput.kif 1400-1400	Special character press is a subclass of single key press
(termFormat EnglishLanguage SingleKeyPress "single key press")	domainEnglishFormat.kif 65498-65498	Special character press is a subclass of single key press

consequent

(=>
    (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