Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| TouchScreen(touch screen) |  | touch_screen, touchscreen |
| appearance as argument number 1 |
|
|
| (subclass TouchScreen ComputerInputDevice) | QoSontology.kif 576-576 | Touch screen is a subclass of computer input device |
| (subclass TouchScreen ComputerOutputDevice) | QoSontology.kif 577-577 | Touch screen is a subclass of computer output device |
| (subclass TouchScreen VideoDisplay) | QoSontology.kif 578-578 | Touch screen is a subclass of video display |
| (documentation TouchScreen EnglishLanguage "A display screen that also functions as a pointing device by letting users touch on it") | QoSontology.kif 580-581 | Touch screen is a subclass of video display |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage TouchScreen "touch screen") | domainEnglishFormat.kif 65613-65613 |
| antecedent |
|
|
| (=> (instance ?TOUCHSCREEN TouchScreen) (attribute ?TOUCHSCREEN Flat)) |
QoSontology.kif 583-585 | If X is an instance of touch screen, then flat is an attribute of X |
|