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 1383-1383 SingleKeyPress is disjoint from KeyHoldDown
(documentation SingleKeyPress EnglishLanguage "A SingleKeyPress is a UserDirectAction of typing (breifly pressing down) a keyboard key.") ComputerInput.kif 1381-1382
(subclass SingleKeyPress KeyboardAction) ComputerInput.kif 1380-1380 SingleKeyPress is a subclass of KeyboardAction

appearance as argument number 2

(rangeSubclass PressingKeyFn SingleKeyPress) ComputerInput.kif 1387-1387 The values returned by PressingKeyFn are subclasses of SingleKeyPress
(subclass CharacterKeyPress SingleKeyPress) ComputerInput.kif 1391-1391 CharacterKeyPress is a subclass of SingleKeyPress
(subclass SpecialCharacterPress SingleKeyPress) ComputerInput.kif 1411-1411 SpecialCharacterPress is a subclass of SingleKeyPress


    (instance ?TYPING Typing)
    (exists (?KEYPRESS)
            (subProcess ?KEYPRESS ?TYPING)
            (instance ?KEYPRESS SingleKeyPress))))
ComputerInput.kif 1711-1716

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