![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
appearance as argument number 2 |
![]() |
(classIntersection ComputerKeyboard TouchSensitiveComputerInputDevice ComputerTouchscreenKeyboard) | ComputerInput.kif 475-476 | classIntersection ComputerKeyboard, TouchSensitiveComputerInputDevice and ComputerTouchscreenKeyboard |
(classIntersection ComputerScreen TouchSensitiveComputerInputDevice ComputerTouchscreen) | ComputerInput.kif 462-463 | classIntersection ComputerScreen, TouchSensitiveComputerInputDevice and ComputerTouchscreen |
(subclass ComputerTouchpad TouchSensitiveComputerInputDevice) | ComputerInput.kif 450-450 | subclass ComputerTouchpad and TouchSensitiveComputerInputDevice |
(subclass ComputerTouchscreen TouchSensitiveComputerInputDevice) | ComputerInput.kif 460-460 | subclass ComputerTouchscreen and TouchSensitiveComputerInputDevice |
antecedent |
![]() |
(=> (and (instance ?ACT ScreenTouchAction) (patient ?ACT ?TOUCHSURF) (instance ?TOUCHSURF TouchSensitiveComputerInputDevice)) (instance ?TOUCHSURF ComputerTouchscreen)) |
ComputerInput.kif 1616-1621 | |
(=> (and (instance ?ACT UserDirectAction) (patient ?ACT ?TOUCHSURF) (instance ?TOUCHSURF TouchSensitiveComputerInputDevice)) (instance ?ACT TouchSurfaceAction)) |
ComputerInput.kif 1572-1577 |
consequent |
![]() |
(=> (instance ?ACT TouchSurfaceAction) (exists (?TOUCHSURF) (and (patient ?ACT ?TOUCHSURF) (instance ?TOUCHSURF TouchSensitiveComputerInputDevice)))) |
ComputerInput.kif 1565-1570 |
![]() |
![]() |