Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| UpArrowKey(up arrow key) |
| appearance as argument number 1 |
|
| (subclass UpArrowKey ArrowKey) | ComputerInput.kif 322-322 | Up arrow key is a subclass of arrow key |
| (documentation UpArrowKey EnglishLanguage "A UpArrowKey is a type of ArrowKey on a ComputerKeypad with a upward pointing graphic.") | ComputerInput.kif 323-324 | Up arrow key is a subclass of arrow key |
| (disjoint UpArrowKey LeftArrowKey) | ComputerInput.kif 325-325 | Up arrow key is disjoint from left arrow key |
| (disjoint UpArrowKey RightArrowKey) | ComputerInput.kif 326-326 | Up arrow key is disjoint from right arrow key |
| (disjoint UpArrowKey DownArrowKey) | ComputerInput.kif 333-333 | Up arrow key is disjoint from down arrow key |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage UpArrowKey "up arrow key") | domainEnglishFormat.kif 65671-65671 |
| statement |
|
|
|