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

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


(disjoint AudioInput KeyboardAction) ComputerInput.kif 1686-1686 AudioInput is disjoint from KeyboardAction
(disjoint JoystickMotion KeyboardAction) ComputerInput.kif 1665-1665 JoystickMotion is disjoint from KeyboardAction
(disjoint ScrollWheelRotating KeyboardAction) ComputerInput.kif 1699-1699 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 1717-1717 Typing is a subclass of KeyboardAction

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


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


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 3.0 is open source software produced by Articulate Software and its partners