Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| MultiKeypressKey(multi keypress key) |
| appearance as argument number 1 |
|
| (subclass MultiKeypressKey SpecialComputerKeyboardKey) | ComputerInput.kif 343-343 | Multi keypress key is a subclass of special computer keyboard key |
| (documentation MultiKeypressKey EnglishLanguage "A MultiKeypressKey is a type of ComputerKeyboardKey (including ShiftKey, ControlKey, and AltKey) which is not intended to send a character from the keyboard when it is pressed, but to cause a different character (or set of characters) to be sent from a keyboard when another key is pressed while it is being held down.") | ComputerInput.kif 344-348 | Multi keypress key is a subclass of special computer keyboard key |
| (disjoint MultiKeypressKey NumberedFunctionKey) | ComputerInput.kif 349-349 | Multi keypress key is disjoint from numbered function key |
| (disjoint MultiKeypressKey EnterKey) | ComputerInput.kif 350-350 | Multi keypress key is disjoint from enter key |
| (disjoint MultiKeypressKey ArrowKey) | ComputerInput.kif 351-351 | Multi keypress key is disjoint from arrow key |
| appearance as argument number 2 |
|
|
|