Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| ArrowKey(arrow key) |
| appearance as argument number 1 |
|
| (subclass ArrowKey SpecialComputerKeyboardKey) | ComputerInput.kif 308-308 | Arrow key is a subclass of special computer keyboard key |
| (documentation ArrowKey EnglishLanguage "An ArrowKey is a type of ComputerKeyboardKey on a ComputerKeypad with a right, left, up, or down graphic.") | ComputerInput.kif 309-310 | Arrow key is a subclass of special computer keyboard key |
| (disjoint ArrowKey EnterKey) | ComputerInput.kif 311-311 | Arrow key is disjoint from enter key |
| appearance as argument number 2 |
|
|
| statement |
|
|
|