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

Formal Language: 



KB Term:  Term intersection
English Word: 

  KeyboardAction

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 986-986
(subclass KeyboardAction UserDirectAction) ComputerInput.kif 985-985
(udaCanSignify KeyboardAction SelectingActiveArea) ComputerInput.kif 1780-1780

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


(disjoint AudioInput KeyboardAction) ComputerInput.kif 1332-1332
(disjoint JoystickMotion KeyboardAction) ComputerInput.kif 1312-1312
(disjoint ScrollWheelRotating KeyboardAction) ComputerInput.kif 1343-1343
(subclass KeyHoldDown KeyboardAction) ComputerInput.kif 1008-1008
(subclass MultikeyAction KeyboardAction) ComputerInput.kif 995-995
(subclass SingleKeyPress KeyboardAction) ComputerInput.kif 1084-1084
(subclass Typing KeyboardAction) ComputerInput.kif 1359-1359

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


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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners