![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
(documentation TouchPadAction EnglishLanguage "A ScreenTouchAction is a TouchSurfaceAction using a ComputerTouchpad.") | ComputerInput.kif 1631-1632 | |
(subclass TouchPadAction TouchSurfaceAction) | ComputerInput.kif 1630-1630 | subclass TouchPadAction and TouchSurfaceAction |
antecedent |
![]() |
(=> (instance ?ACT TouchPadAction) (exists (?TOUCHPAD) (and (patient ?ACT ?TOUCHPAD) (instance ?TOUCHPAD ComputerTouchpad)))) |
ComputerInput.kif 1634-1639 |
consequent |
![]() |
(=> (and (instance ?ACT UserDirectAction) (patient ?ACT ?TOUCHPAD) (instance ?TOUCHPAD ComputerTouchpad)) (instance ?ACT TouchPadAction)) |
ComputerInput.kif 1641-1646 |
![]() |
![]() |