ComputerKeyboardKey |
appearance as argument number 1 |
(disjoint ComputerKeyboardKey LeftCIButton) | ComputerInput.kif 243-243 | |
(disjoint ComputerKeyboardKey MiddleCIButton) | ComputerInput.kif 242-242 | |
(disjoint ComputerKeyboardKey MouseButton) | ComputerInput.kif 244-244 | |
(disjoint ComputerKeyboardKey RightCIButton) | ComputerInput.kif 241-241 | |
(disjoint ComputerKeyboardKey TouchpadKey) | ComputerInput.kif 367-367 | |
(documentation ComputerKeyboardKey EnglishLanguage "A ComputerInputButton on a ComputerKeyboard.") | ComputerInput.kif 240-240 | |
(subclass ComputerKeyboardKey ComputerInputButton) | ComputerInput.kif 239-239 | |
(typicalPart ComputerKeyboardKey ComputerKeyboard_Generic) | ComputerInput.kif 247-247 |
appearance as argument number 2 |
(disjoint GUIButton ComputerKeyboardKey) | ComputerInput.kif 936-936 | |
(partTypes ComputerKeyboard ComputerKeyboardKey) | ComputerInput.kif 375-375 | |
(subclass CharacterKey ComputerKeyboardKey) | ComputerInput.kif 269-269 | |
(subclass SpecialComputerKeyboardKey ComputerKeyboardKey) | ComputerInput.kif 273-273 | |
(termFormat EnglishLanguage ComputerKeyboardKey "computer keyboard key") | domainEnglishFormat.kif 64724-64724 |
appearance as argument number 3 |
(domainSubclass PressingKeyFn 1 ComputerKeyboardKey) | ComputerInput.kif 1359-1359 |
antecedent |
consequent |
(=> (instance ?ACT KeyboardAction) (exists (?KEY) (and (instance ?KEY ComputerKeyboardKey) (patient ?ACT ?KEY)))) |
ComputerInput.kif 1230-1235 | |
(=> (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 1244-1252 | |
(=> (instance ?KEYBOARD ComputerKeyboard_Generic) (exists (?KEY) (and (instance ?KEY ComputerKeyboardKey) (component ?KEY ?KEYBOARD)))) |
ComputerInput.kif 262-267 |