Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Keyboard
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Keyboard Device) | ComputerInput.kif 112-112 | Keyboard is a subclass of device |
| (documentation Keyboard EnglishLanguage "A Keyboard has a set of keys for typing on to transmit data corresponding to those keys or to cause physical action such as striking or plucking a string, opening a valve, or marking of the selected keys on paper or some other surface.") | ComputerInput.kif 113-116 | Keyboard is a subclass of device |
| appearance as argument number 2 |
|
|
|