|
|
   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 | Character key is a subclass of computer keyboard key |
| appearance as argument number 2 |
|
|
| (disjoint SpecialComputerKeyboardKey CharacterKey) | ComputerInput.kif 278-278 | Special computer keyboard key is disjoint from character key |
| (termFormat EnglishLanguage CharacterKey "character key") | domainEnglishFormat.kif 64613-64613 |
| 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 |
|
|
|
|