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 972-972
(subclass KeyboardAction UserDirectAction) ComputerInput.kif 971-971
(udaCanSignify KeyboardAction SelectingActiveArea) ComputerInput.kif 1766-1766

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


(disjoint AudioInput KeyboardAction) ComputerInput.kif 1318-1318
(disjoint JoystickMotion KeyboardAction) ComputerInput.kif 1298-1298
(disjoint ScrollWheelRotating KeyboardAction) ComputerInput.kif 1329-1329
(subclass KeyHoldDown KeyboardAction) ComputerInput.kif 994-994
(subclass MultikeyAction KeyboardAction) ComputerInput.kif 981-981
(subclass SingleKeyPress KeyboardAction) ComputerInput.kif 1070-1070
(subclass Typing KeyboardAction) ComputerInput.kif 1345-1345

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


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


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