ComputerKeyboardKey
|
|
appearance as argument number 1 |
appearance as argument number 2 |
(disjoint GUIButton ComputerKeyboardKey) | ComputerInput.kif 936-936 | GUIButton と ComputerKeyboardKey は disjoint では %n |
(partTypes ComputerKeyboard ComputerKeyboardKey) | ComputerInput.kif 375-375 | partTypes ComputerKeyboard and ComputerKeyboardKey |
(subclass CharacterKey ComputerKeyboardKey) | ComputerInput.kif 269-269 | CharacterKey は ComputerKeyboardKey の subclass では %n |
(subclass SpecialComputerKeyboardKey ComputerKeyboardKey) | ComputerInput.kif 273-273 | SpecialComputerKeyboardKey は ComputerKeyboardKey の subclass では %n |
(termFormat EnglishLanguage ComputerKeyboardKey "computer keyboard key") | domainEnglishFormat.kif 64678-64678 |
appearance as argument number 3 |
(domainSubclass PressingKeyFn 1 ComputerKeyboardKey) | ComputerInput.kif 1359-1359 | PressingKeyFn の数値 1 引数は ComputerKeyboardKey のsubclass では %n |
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 |
|