TouchSurfaceAction |
appearance as argument number 1 |
(documentation TouchSurfaceAction EnglishLanguage "A TouchSurfaceAction is a UserDirectAction of interacting with a TouchSensitiveComputerInputDevice.") | ComputerInput.kif 1535-1536 | |
(subclass TouchSurfaceAction Touching) | ComputerInput.kif 1534-1534 | |
(subclass TouchSurfaceAction UserDirectAction) | ComputerInput.kif 1533-1533 |
appearance as argument number 2 |
(disjoint AudioInput TouchSurfaceAction) | ComputerInput.kif 1655-1655 | |
(disjoint JoystickMotion TouchSurfaceAction) | ComputerInput.kif 1635-1635 | |
(disjoint ScrollWheelRotating TouchSurfaceAction) | ComputerInput.kif 1667-1667 | |
(disjoint Typing TouchSurfaceAction) | ComputerInput.kif 1693-1693 | |
(subclass ScreenTouchAction TouchSurfaceAction) | ComputerInput.kif 1577-1577 | |
(subclass TouchPadAction TouchSurfaceAction) | ComputerInput.kif 1615-1615 | |
(subclass TouchSurfaceDoubleFingerSlide TouchSurfaceAction) | ComputerInput.kif 1563-1563 | |
(subclass TouchSurfaceSlide TouchSurfaceAction) | ComputerInput.kif 1552-1552 | |
(subclass TouchSurfaceTap TouchSurfaceAction) | ComputerInput.kif 1557-1557 | |
(termFormat EnglishLanguage TouchSurfaceAction "touch surface action") | domainEnglishFormat.kif 65614-65614 |
antecedent |
(=> (instance ?ACT TouchSurfaceAction) (exists (?TOUCHSURF) (and (patient ?ACT ?TOUCHSURF) (instance ?TOUCHSURF TouchSensitiveComputerInputDevice)))) |
ComputerInput.kif 1538-1543 |
consequent |
(=> (and (instance ?ACT UserDirectAction) (patient ?ACT ?TOUCHSURF) (instance ?TOUCHSURF TouchSensitiveComputerInputDevice)) (instance ?ACT TouchSurfaceAction)) |
ComputerInput.kif 1545-1550 |