Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| CharacterKey(character key) |
| appearance as argument number 1 |
|
| (subclass CharacterKey ComputerKeyboardKey) | ComputerInput.kif 285-285 | Character key is a subclass of computer keyboard key |
| (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 286-287 | Character key is a subclass of computer keyboard key |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (instance ?ACT CharacterKeyPress) (exists (?KEY) (and (instance ?KEY CharacterKey) (patient ?ACT ?KEY)))) |
ComputerInput.kif 1386-1391 | If X is an instance of character key press, then there exists Y such that Y is an instance of character key and Y is a patient of X |
| (=> (and (instance ?ACT CharacterKeyPress) (patient ?ACT ?KEY) (instance ?KEY ComputerKeyboardKey)) (instance ?KEY CharacterKey)) |
ComputerInput.kif 1393-1398 | If X is an instance of character key press, Y is a patient of X, and Y is an instance of computer keyboard key, then Y is an instance of character key |
|