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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - KeyboardAction
KeyboardAction

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


(documentation KeyboardAction EnglishLanguage "A KeyboardAction is a UserDirectAction of hitting or holding down one or more keyboard keys.") ComputerInput.kif 1253-1255
(subclass KeyboardAction UserDirectAction) ComputerInput.kif 1251-1251 subclass KeyboardAction and UserDirectAction
(udaCanSignify KeyboardAction SelectingActiveArea) ComputerInput.kif 2191-2191 udaCanSignify KeyboardAction and SelectingActiveArea

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


(disjoint AudioInput KeyboardAction) ComputerInput.kif 1672-1672 disjoint AudioInput and KeyboardAction
(disjoint JoystickMotion KeyboardAction) ComputerInput.kif 1651-1651 disjoint JoystickMotion and KeyboardAction
(disjoint ScrollWheelRotating KeyboardAction) ComputerInput.kif 1685-1685 disjoint ScrollWheelRotating and KeyboardAction
(subclass KeyHoldDown KeyboardAction) ComputerInput.kif 1281-1281 subclass KeyHoldDown and KeyboardAction
(subclass MultikeyAction KeyboardAction) ComputerInput.kif 1264-1264 subclass MultikeyAction and KeyboardAction
(subclass SingleKeyPress KeyboardAction) ComputerInput.kif 1380-1380 subclass SingleKeyPress and KeyboardAction
(subclass Typing KeyboardAction) ComputerInput.kif 1703-1703 subclass Typing and KeyboardAction

antecedent
-------------------------


(=>
    (instance ?ACT KeyboardAction)
    (exists (?KEY)
        (and
            (instance ?KEY ComputerKeyboardKey)
            (patient ?ACT ?KEY))))
ComputerInput.kif 1257-1262


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