ComputerKeyboardKey |
appearance as argument number 1 |
![]() |
(disjoint ComputerKeyboardKey LeftCIButton) | ComputerInput.kif 265-265 | disjoint ComputerKeyboardKey and LeftCIButton |
(disjoint ComputerKeyboardKey MiddleCIButton) | ComputerInput.kif 264-264 | disjoint ComputerKeyboardKey and MiddleCIButton |
(disjoint ComputerKeyboardKey MouseButton) | ComputerInput.kif 266-266 | disjoint ComputerKeyboardKey and MouseButton |
(disjoint ComputerKeyboardKey RightCIButton) | ComputerInput.kif 263-263 | disjoint ComputerKeyboardKey and RightCIButton |
(disjoint ComputerKeyboardKey TouchpadKey) | ComputerInput.kif 389-389 | disjoint ComputerKeyboardKey and TouchpadKey |
(documentation ComputerKeyboardKey EnglishLanguage "A ComputerInputButton on a ComputerKeyboard.") | ComputerInput.kif 262-262 | |
(subclass ComputerKeyboardKey ComputerInputButton) | ComputerInput.kif 261-261 | subclass ComputerKeyboardKey and ComputerInputButton |
(typicalPart ComputerKeyboardKey ComputerKeyboard_Generic) | ComputerInput.kif 269-269 | typicalPart ComputerKeyboardKey and ComputerKeyboard_Generic |
appearance as argument number 2 |
![]() |
(disjoint GUIButton ComputerKeyboardKey) | ComputerInput.kif 964-964 | disjoint GUIButton and ComputerKeyboardKey |
(havePartTypes ComputerKeyboard ComputerKeyboardKey) | ComputerInput.kif 397-397 | havePartTypes ComputerKeyboard and ComputerKeyboardKey |
(subclass CharacterKey ComputerKeyboardKey) | ComputerInput.kif 291-291 | subclass CharacterKey and ComputerKeyboardKey |
(subclass SpecialComputerKeyboardKey ComputerKeyboardKey) | ComputerInput.kif 295-295 | subclass SpecialComputerKeyboardKey and ComputerKeyboardKey |
appearance as argument number 3 |
![]() |
(domainSubclass PressingKeyFn 1 ComputerKeyboardKey) | ComputerInput.kif 1386-1386 | domainSubclass PressingKeyFn, 1 and ComputerKeyboardKey |
antecedent |
![]() |
consequent |
![]() |
(=> (instance ?ACT KeyboardAction) (exists (?KEY) (and (instance ?KEY ComputerKeyboardKey) (patient ?ACT ?KEY)))) |
ComputerInput.kif 1257-1262 | |
(=> (instance ?ACT MultikeyAction) (exists (?KEY1 ?KEY2) (and (patient ?ACT ?KEY1) (patient ?ACT ?KEY2) (not (equal ?KEY1 ?KEY2)) (instance ?KEY1 ComputerKeyboardKey) (instance ?KEY2 ComputerKeyboardKey)))) |
ComputerInput.kif 1271-1279 | |
(=> (instance ?KEYBOARD ComputerKeyboard_Generic) (exists (?KEY) (and (instance ?KEY ComputerKeyboardKey) (component ?KEY ?KEYBOARD)))) |
ComputerInput.kif 284-289 |
![]() |
![]() |