Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| NumberedFunctionKey(numbered function key) |
| appearance as argument number 1 |
|
| (subclass NumberedFunctionKey SpecialComputerKeyboardKey) | ComputerInput.kif 335-335 | Numbered function key is a subclass of special computer keyboard key |
| (documentation NumberedFunctionKey EnglishLanguage "A NumberedFunctionKey is a type of ComputerKeyboardKey on a ComputerKeyboard that does not send a single character to a computer to which it is attached. A ComputerKeyboard either has no NumberedFunctionKey or more than one NumberedFunctionKey.") | ComputerInput.kif 336-339 | Numbered function key is a subclass of special computer keyboard key |
| (disjoint NumberedFunctionKey EnterKey) | ComputerInput.kif 340-340 | Numbered function key is disjoint from enter key |
| (disjoint NumberedFunctionKey ArrowKey) | ComputerInput.kif 341-341 | Numbered function key is disjoint from arrow key |
| appearance as argument number 2 |
|
|
|