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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SingleKeyPress
SingleKeyPress

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


(disjoint SingleKeyPress KeyHoldDown) ComputerInput.kif 1353-1353
(documentation SingleKeyPress EnglishLanguage "A SingleKeyPress is a UserDirectAction of typing (breifly pressing down) a keyboard key.") ComputerInput.kif 1351-1352
(subclass SingleKeyPress KeyboardAction) ComputerInput.kif 1350-1350

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


(rangeSubclass PressingKeyFn SingleKeyPress) ComputerInput.kif 1357-1357
(subclass CharacterKeyPress SingleKeyPress) ComputerInput.kif 1361-1361
(subclass SpecialCharacterPress SingleKeyPress) ComputerInput.kif 1381-1381

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


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


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 3.0 is open source software produced by Articulate Software and its partners