TreeView Knowledge Base Browser

appearance as argument number 1

(subclass KeyboardAction UserDirectAction)	ComputerInput.kif 1240-1240	Keyboard action is a subclass of user direct action
(documentation KeyboardAction EnglishLanguage "A KeyboardAction is a UserDirectAction of hitting or holding down one or more keyboard keys.")	ComputerInput.kif 1242-1244	Keyboard action is a subclass of user direct action
(udaCanSignify KeyboardAction SelectingActiveArea)	ComputerInput.kif 2192-2192	Keyboard action isgnifies selecting active area

appearance as argument number 2

(subclass MultikeyAction KeyboardAction)	ComputerInput.kif 1253-1253	Multikey action is a subclass of keyboard action
(subclass KeyHoldDown KeyboardAction)	ComputerInput.kif 1270-1270	Holding down a key is a subclass of keyboard action
(subclass SingleKeyPress KeyboardAction)	ComputerInput.kif 1369-1369	Single key press is a subclass of keyboard action
(disjoint JoystickMotion KeyboardAction)	ComputerInput.kif 1652-1652	Joystick motion is disjoint from keyboard action
(disjoint AudioInput KeyboardAction)	ComputerInput.kif 1673-1673	Audio input is disjoint from keyboard action
(disjoint ScrollWheelRotating KeyboardAction)	ComputerInput.kif 1686-1686	Scroll wheel rotating is disjoint from keyboard action
(subclass Typing KeyboardAction)	ComputerInput.kif 1704-1704	Typing is a subclass of keyboard action
(termFormat EnglishLanguage KeyboardAction "keyboard action")	domainEnglishFormat.kif 65079-65079	Typing is a subclass of keyboard action

antecedent

(=>
    (instance ?ACT KeyboardAction)
    (exists (?KEY)
        (and
            (instance ?KEY ComputerKeyboardKey)
            (patient ?ACT ?KEY))))

If X is an instance of keyboard action, then there exists Y such that Y is an instance of computer keyboard key and Y is a patient of X