Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SingleKeyPress
SingleKeyPressbackspace, shift

appearance as argument number 1
-------------------------


(disjoint SingleKeyPress KeyHoldDown) ComputerInput.kif 1181-1181 SingleKeyPress is disjoint from KeyHoldDown
(documentation SingleKeyPress EnglishLanguage "A SingleKeyPress is a UserDirectAction of typing (breifly pressing down) a keyboard key.") ComputerInput.kif 1180-1180
(subclass SingleKeyPress KeyboardAction) ComputerInput.kif 1179-1179 SingleKeyPress is a subclass of KeyboardAction

appearance as argument number 2
-------------------------


(rangeSubclass PressingKeyFn SingleKeyPress) ComputerInput.kif 1185-1185 The values returned by PressingKeyFn are subclasses of SingleKeyPress
(subclass CharacterKeyPress SingleKeyPress) ComputerInput.kif 1188-1188 CharacterKeyPress is a subclass of SingleKeyPress
(subclass SpecialCharacterPress SingleKeyPress) ComputerInput.kif 1205-1205 SpecialCharacterPress is a subclass of SingleKeyPress

consequent
-------------------------


(=>
    (instance ?TYPING Typing)
    (exists (?KEYPRESS)
        (and
            (subProcess ?KEYPRESS ?TYPING)
            (instance ?KEYPRESS SingleKeyPress))))
ComputerInput.kif 1486-1491


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners