(=>
(instance ?ACTION UserDirectAction)
(exists (?DEVICE)
(and
(patient ?ACTION ?DEVICE)
(instance ?DEVICE ComputerInputDevice)))) |
ComputerInput.kif 1207-1212 |
If X is an instance of user direct action, then there exists Y such that Y is a patient of X and Y is an instance of computer input device |
(=>
(instance ?ACTION UserDirectAction)
(exists (?SIG_ACTION)
(and
(represents ?ACTION ?SIG_ACTION)
(instance ?SIG_ACTION UserSignifiedAction)))) |
ComputerInput.kif 1227-1232 |
If X is an instance of user direct action, then there exists ?SIG_ACTION such that X expresses ?SIG_ACTION and ?SIG_ACTION is an instance of user signified action |
(=>
(and
(instance ?ACT UserDirectAction)
(patient ?ACT ?TOUCHSURF)
(instance ?TOUCHSURF TouchSensitiveComputerInputDevice))
(instance ?ACT TouchSurfaceAction)) |
ComputerInput.kif 1561-1566 |
If X is an instance of user direct action, Y is a patient of X, and Y is an instance of touch sensitive computer input device, then X is an instance of touch surface action |
(=>
(and
(instance ?ACT UserDirectAction)
(patient ?ACT ?TOUCHSCREEN)
(instance ?TOUCHSCREEN ComputerTouchscreen))
(instance ?ACT ScreenTouchAction)) |
ComputerInput.kif 1610-1615 |
If X is an instance of user direct action, Y is a patient of X, and Y is an instance of computer touchscreen, then X is an instance of screen touch action |
(=>
(and
(instance ?ACT UserDirectAction)
(patient ?ACT ?TOUCHPAD)
(instance ?TOUCHPAD ComputerTouchpad))
(instance ?ACT TouchPadAction)) |
ComputerInput.kif 1642-1647 |
If X is an instance of user direct action, Y is a patient of X, and Y is an instance of computer touchpad, then X is an instance of touch pad action |
(=>
(and
(instance ?ACT UserDirectAction)
(patient ?ACT ?JOYSTICK)
(instance ?JOYSTICK Joystick))
(instance ?ACT JoystickMotion)) |
ComputerInput.kif 1661-1666 |
If X is an instance of user direct action, Y is a patient of X, and Y is an instance of joystick, then X is an instance of joystick motion |
CBWExportControls