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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SingleKeyPress
SingleKeyPress(single key press)backspace, shift

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


(disjoint SingleKeyPress KeyHoldDown) ComputerInput.kif 1356-1356 Single key press is disjoint from holding down a key
(documentation SingleKeyPress EnglishLanguage "A SingleKeyPress is a UserDirectAction of typing (breifly pressing down) a keyboard key.") ComputerInput.kif 1354-1355
(subclass SingleKeyPress KeyboardAction) ComputerInput.kif 1353-1353 Single key press is a subclass of keyboard action

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


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

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


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


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