Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   CognitiveAgent
|
|
|
| appearance as argument number 1 |
|
|
| (subclass CharacterKeyPress SingleKeyPress) | ComputerInput.kif 1380-1380 | Character key press is a subclass of single key press |
| (documentation CharacterKeyPress EnglishLanguage "A CharacterKeyPress is a SingleKeyPress of a keyboard key that signifies a single character (letters, numbers, punctuation, other symbols, space, and tab). Use SpecialCharacterPress for enter, backspace, delete, escape, shift, control, function, function keys, home, page_up, etc. keys.") | ComputerInput.kif 1381-1384 | Character key press is a subclass of single key press |
| (disjoint CharacterKeyPress SpecialCharacterPress) | ComputerInput.kif 1409-1409 | Character key press is disjoint from special character press |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage CharacterKeyPress "character key press") | domainEnglishFormat.kif 64617-64617 |
| antecedent |
|
|
| (=> (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 |
|