CharacterKey
|
|
appearance as argument number 1 |
(documentation CharacterKey EnglishLanguage "A CharacterKey is a type of ComputerKeyboardKey on a ComputerKeyboard that sends a single (printable or whitespace) character to a computer to which it is attached.") | ComputerInput.kif 270-271 | |
(subclass CharacterKey ComputerKeyboardKey) | ComputerInput.kif 269-269 |
appearance as argument number 2 |
(disjoint SpecialComputerKeyboardKey CharacterKey) | ComputerInput.kif 278-278 | |
(termFormat EnglishLanguage CharacterKey "character key") | domainEnglishFormat.kif 64615-64615 |
consequent |
(=> (and (instance ?ACT CharacterKeyPress) (patient ?ACT ?KEY) (instance ?KEY ComputerKeyboardKey)) (instance ?KEY CharacterKey)) |
ComputerInput.kif 1377-1382 | |
(=> (instance ?ACT CharacterKeyPress) (exists (?KEY) (and (instance ?KEY CharacterKey) (patient ?ACT ?KEY)))) |
ComputerInput.kif 1370-1375 |