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 KeyboardAction is a subclass of UserDirectAction
(udaCanSignify KeyboardAction SelectingActiveArea) ComputerInput.kif 2191-2191 KeyboardAction isgnifies SelectingActiveArea

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


(disjoint AudioInput KeyboardAction) ComputerInput.kif 1672-1672 AudioInput is disjoint from KeyboardAction
(disjoint JoystickMotion KeyboardAction) ComputerInput.kif 1651-1651 JoystickMotion is disjoint from KeyboardAction
(disjoint ScrollWheelRotating KeyboardAction) ComputerInput.kif 1685-1685 ScrollWheelRotating is disjoint from KeyboardAction
(subclass KeyHoldDown KeyboardAction) ComputerInput.kif 1281-1281 KeyHoldDown is a subclass of KeyboardAction
(subclass MultikeyAction KeyboardAction) ComputerInput.kif 1264-1264 MultikeyAction is a subclass of KeyboardAction
(subclass SingleKeyPress KeyboardAction) ComputerInput.kif 1380-1380 SingleKeyPress is a subclass of KeyboardAction
(subclass Typing KeyboardAction) ComputerInput.kif 1703-1703 Typing is a subclass of 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