| ComputerTouchscreen(computer touchscreen) |
| appearance as argument number 1 |
|
|
| (documentation ComputerTouchscreen EnglishLanguage "A touch_sensitive ComputerScreen for accepting point and click input on its display surface. The device is operated by moving (normally) a finger across the surface of the device. Clicking is achieved by tapping the surface. Multi_finger gestures may have other effects.") | ComputerInput.kif 440-444 | |
| (subclass ComputerTouchscreen ComputerScreen) | ComputerInput.kif 438-438 | Computer touchscreen is a subclass of computer screen |
| (subclass ComputerTouchscreen TouchSensitiveComputerInputDevice) | ComputerInput.kif 437-437 | Computer touchscreen is a subclass of touch sensitive computer input device |
| appearance as argument number 2 |
|
|
| (subclass ComputerTouchscreenKeyboard ComputerTouchscreen) | ComputerInput.kif 446-446 | Computer touchscreen keyboard is a subclass of computer touchscreen |
| (subclass ComputerTouchscreenKeypad ComputerTouchscreen) | ComputerInput.kif 466-466 | Computer touchscreen keypad is a subclass of computer touchscreen |
| (termFormat EnglishLanguage ComputerTouchscreen "computer touchscreen") | domainEnglishFormat.kif 64678-64678 | Computer touchscreen keypad is a subclass of computer touchscreen |
| antecedent |
|
|
| (=> (and (instance ?ACT UserDirectAction) (patient ?ACT ?TOUCHSCREEN) (instance ?TOUCHSCREEN ComputerTouchscreen)) (instance ?ACT ScreenTouchAction)) |
ComputerInput.kif 1594-1599 |
|
| consequent |
|
|
|
|