Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| DownArrowKey(down arrow key) |
| appearance as argument number 1 |
|
| (subclass DownArrowKey ArrowKey) | ComputerInput.kif 328-328 | Down arrow key is a subclass of arrow key |
| (documentation DownArrowKey EnglishLanguage "A DownArrowKey is a type of ArrowKey on a ComputerKeypad with a downward pointing graphic.") | ComputerInput.kif 329-330 | Down arrow key is a subclass of arrow key |
| (disjoint DownArrowKey RightArrowKey) | ComputerInput.kif 331-331 | Down arrow key is disjoint from right arrow key |
| (disjoint DownArrowKey LeftArrowKey) | ComputerInput.kif 332-332 | Down arrow key is disjoint from left arrow key |
| appearance as argument number 2 |
|
|
| (disjoint UpArrowKey DownArrowKey) | ComputerInput.kif 333-333 | Up arrow key is disjoint from down arrow key |
| (termFormat EnglishLanguage DownArrowKey "down arrow key") | domainEnglishFormat.kif 64783-64783 | Up arrow key is disjoint from down arrow key |
| statement |
|
|
|