ComputerKeyboardKey
|
|
appearance as argument number 1 |
appearance as argument number 2 |
(disjoint GUIButton ComputerKeyboardKey) | ComputerInput.kif 936-936 | GUIButton e' disjunto de ComputerKeyboardKey |
(partTypes ComputerKeyboard ComputerKeyboardKey) | ComputerInput.kif 375-375 | partTypes ComputerKeyboard and ComputerKeyboardKey |
(subclass CharacterKey ComputerKeyboardKey) | ComputerInput.kif 269-269 | CharacterKey e' uma sub-classe de ComputerKeyboardKey |
(subclass SpecialComputerKeyboardKey ComputerKeyboardKey) | ComputerInput.kif 273-273 | SpecialComputerKeyboardKey e' uma sub-classe de ComputerKeyboardKey |
(termFormat EnglishLanguage ComputerKeyboardKey "computer keyboard key") | domainEnglishFormat.kif 64678-64678 |
appearance as argument number 3 |
(domainSubclass PressingKeyFn 1 ComputerKeyboardKey) | ComputerInput.kif 1359-1359 | O argumento numero 1 de PressingKeyFn e' uma sub-classe de ComputerKeyboardKey |
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 |