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 465-469 | |
(subclass ComputerTouchscreen ComputerScreen) | ComputerInput.kif 461-461 | |
(subclass ComputerTouchscreen TouchSensitiveComputerInputDevice) | ComputerInput.kif 460-460 |
appearance as argument number 2 |
![]() |
(classIntersection ComputerKeypad ComputerTouchscreen ComputerTouchscreenKeypad) | ComputerInput.kif 492-492 | |
(subclass ComputerTouchscreenKeyboard ComputerTouchscreen) | ComputerInput.kif 471-471 |
appearance as argument number 3 |
![]() |
(classIntersection ComputerScreen TouchSensitiveComputerInputDevice ComputerTouchscreen) | ComputerInput.kif 462-463 |
antecedent |
![]() |
(=> (and (instance ?ACT UserDirectAction) (patient ?ACT ?TOUCHSCREEN) (instance ?TOUCHSCREEN ComputerTouchscreen)) (instance ?ACT ScreenTouchAction)) |
ComputerInput.kif 1623-1628 |
consequent |
![]() |
(=> (and (instance ?ACT ScreenTouchAction) (patient ?ACT ?TOUCHSURF) (instance ?TOUCHSURF TouchSensitiveComputerInputDevice)) (instance ?TOUCHSURF ComputerTouchscreen)) |
ComputerInput.kif 1616-1621 | |
(=> (instance ?ACT ScreenTouchAction) (exists (?TOUCHSCREEN) (and (patient ?ACT ?TOUCHSCREEN) (instance ?TOUCHSCREEN ComputerTouchscreen)))) |
ComputerInput.kif 1609-1614 | |
(=> (instance ?KEYBOARD ComputerTouchscreenKeyboard) (exists (?SCREEN) (and (instance ?SCREEN ComputerTouchscreen) (displayedUpon ?KEYBOARD ?SCREEN)))) |
ComputerInput.kif 483-488 | |
(=> (instance ?T TabletComputer) (exists (?K) (and (instance ?K ComputerTouchscreen) (part ?K ?T)))) |
Mid-level-ontology.kif 27771-27776 |
![]() |
![]() |