UserDirectAction - Sigma Knowledge base Browser

appearance as argument number 1

(disjoint UserDirectAction UserSignifiedAction)	ComputerInput.kif 1206-1206
(documentation UserDirectAction EnglishLanguage "A UserDirectAction is a physical action taken by a ComputerUser in interacting with a ComputerProcess -- clicking a button, moving a mouse, touching a screen -- not the action signified by the physical action (scrolling, selecting a link, moving a cursor, ...). The action signifies an instruction to the computer. See UserSignifiedAction.")	ComputerInput.kif 1180-1185
(subclass UserDirectAction Icon)	ComputerInput.kif 1178-1178
(subclass UserDirectAction UserAction)	ComputerInput.kif 1177-1177

appearance as argument number 2

(subclass AudioInput UserDirectAction)	ComputerInput.kif 1649-1649
(subclass ChangingAccountInfo UserDirectAction)	ComputingBrands.kif 4081-4081
(subclass ChangingPassword UserDirectAction)	ComputingBrands.kif 4037-4037
(subclass ChangingUserName UserDirectAction)	ComputingBrands.kif 4059-4059
(subclass Clicking UserDirectAction)	ComputerInput.kif 1427-1427
(subclass CreatingAnAccount UserDirectAction)	ComputingBrands.kif 4100-4100
(subclass DataEntry UserDirectAction)	ComputingBrands.kif 4279-4279
(subclass JoystickMotion UserDirectAction)	ComputerInput.kif 1630-1630
(subclass KeyboardAction UserDirectAction)	ComputerInput.kif 1221-1221
(subclass LoggingIn UserDirectAction)	ComputingBrands.kif 3922-3922
(subclass LoginFailure UserDirectAction)	ComputingBrands.kif 3971-3971
(subclass ScrollWheelRotating UserDirectAction)	ComputerInput.kif 1661-1661
(subclass SlidingComputerInputDeviceAction UserDirectAction)	ComputerInput.kif 1513-1513
(subclass SupplyingEyeScan UserDirectAction)	ComputingBrands.kif 3986-3986
(subclass SupplyingFingerprint UserDirectAction)	ComputingBrands.kif 3985-3985
(subclass TouchSurfaceAction UserDirectAction)	ComputerInput.kif 1530-1530

appearance as argument number 3

(domainSubclass udaCanSignify 1 UserDirectAction)

ComputerInput.kif 1714-1714

antecedent

(=> (and (instance ?ACT UserDirectAction) (patient ?ACT ?JOYSTICK) (instance ?JOYSTICK Joystick)) (instance ?ACT JoystickMotion))	ComputerInput.kif 1642-1647
(=> (and (instance ?ACT UserDirectAction) (patient ?ACT ?TOUCHPAD) (instance ?TOUCHPAD ComputerTouchpad)) (instance ?ACT TouchPadAction))	ComputerInput.kif 1623-1628
(=> (and (instance ?ACT UserDirectAction) (patient ?ACT ?TOUCHSCREEN) (instance ?TOUCHSCREEN ComputerTouchscreen)) (instance ?ACT ScreenTouchAction))	ComputerInput.kif 1591-1596
(=> (and (instance ?ACT UserDirectAction) (patient ?ACT ?TOUCHSURF) (instance ?TOUCHSURF TouchSensitiveComputerInputDevice)) (instance ?ACT TouchSurfaceAction))	ComputerInput.kif 1542-1547
(=> (instance ?ACTION UserDirectAction) (exists (?DEVICE) (and (patient ?ACTION ?DEVICE) (instance ?DEVICE ComputerInputDevice))))	ComputerInput.kif 1188-1193
(=> (instance ?ACTION UserDirectAction) (exists (?SIG_ACTION) (and (represents ?ACTION ?SIG_ACTION) (instance ?SIG_ACTION UserSignifiedAction))))	ComputerInput.kif 1208-1213

consequent

(=>
    (instance ?SIG_ACTION UserSignifiedAction)
    (exists (?DIR_ACTION)
        (and
            (represents ?DIR_ACTION ?SIG_ACTION)
            (instance ?DIR_ACTION UserDirectAction))))

ComputerInput.kif 1214-1219