|
|
   ComputerTouchscreen
|
|
|
| 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 | |
| (subclass ComputerTouchscreen TouchSensitiveComputerInputDevice) | ComputerInput.kif 437-437 |
| appearance as argument number 2 |
|
|
| (subclass ComputerTouchscreenKeyboard ComputerTouchscreen) | ComputerInput.kif 446-446 | |
| (subclass ComputerTouchscreenKeypad ComputerTouchscreen) | ComputerInput.kif 466-466 | |
| (termFormat EnglishLanguage ComputerTouchscreen "computer touchscreen") | domainEnglishFormat.kif 64687-64687 |
| antecedent |
|
|
| (=> (and (instance ?ACT UserDirectAction) (patient ?ACT ?TOUCHSCREEN) (instance ?TOUCHSCREEN ComputerTouchscreen)) (instance ?ACT ScreenTouchAction)) |
ComputerInput.kif 1594-1599 |
| consequent |
|
|
| (=> (and (instance ?ACT ScreenTouchAction) (patient ?ACT ?TOUCHSURF) (instance ?TOUCHSURF TouchSensitiveComputerInputDevice)) (instance ?TOUCHSURF ComputerTouchscreen)) |
ComputerInput.kif 1587-1592 | |
| (=> (instance ?ACT ScreenTouchAction) (exists (?TOUCHSCREEN) (and (patient ?ACT ?TOUCHSCREEN) (instance ?TOUCHSCREEN ComputerTouchscreen)))) |
ComputerInput.kif 1580-1585 | |
| (=> (instance ?KEYBOARD ComputerTouchscreenKeyboard) (exists (?SCREEN) (and (instance ?SCREEN ComputerTouchscreen) (displayedUpon ?KEYBOARD ?SCREEN)))) |
ComputerInput.kif 457-462 | |
| (=> (instance ?T TabletComputer) (exists (?K) (and (instance ?K ComputerTouchscreen) (part ?K ?T)))) |
Mid-level-ontology.kif 29614-29619 |
|
|
|