TreeView Knowledge Base Browser

appearance as argument number 1

(disjoint UserDirectAction UserSignifiedAction)	ComputerInput.kif 1209-1209
(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 1183-1188
(subclass UserDirectAction Icon)	ComputerInput.kif 1181-1181
(subclass UserDirectAction UserAction)	ComputerInput.kif 1180-1180

appearance as argument number 2

(subclass AudioInput UserDirectAction)	ComputerInput.kif 1652-1652
(subclass ChangingAccountInfo UserDirectAction)	ComputingBrands.kif 4118-4118
(subclass ChangingPassword UserDirectAction)	ComputingBrands.kif 4074-4074
(subclass ChangingUserName UserDirectAction)	ComputingBrands.kif 4096-4096
(subclass Clicking UserDirectAction)	ComputerInput.kif 1430-1430
(subclass CreatingAnAccount UserDirectAction)	ComputingBrands.kif 4137-4137
(subclass DataEntry UserDirectAction)	ComputingBrands.kif 4316-4316
(subclass JoystickMotion UserDirectAction)	ComputerInput.kif 1633-1633
(subclass KeyboardAction UserDirectAction)	ComputerInput.kif 1224-1224
(subclass LoggingIn UserDirectAction)	ComputingBrands.kif 3959-3959
(subclass LoginFailure UserDirectAction)	ComputingBrands.kif 4008-4008
(subclass ScrollWheelRotating UserDirectAction)	ComputerInput.kif 1664-1664
(subclass SlidingComputerInputDeviceAction UserDirectAction)	ComputerInput.kif 1516-1516
(subclass SupplyingEyeScan UserDirectAction)	ComputingBrands.kif 4023-4023
(subclass SupplyingFingerprint UserDirectAction)	ComputingBrands.kif 4022-4022
(subclass TouchSurfaceAction UserDirectAction)	ComputerInput.kif 1533-1533
(termFormat EnglishLanguage UserDirectAction "user direct action")	domainEnglishFormat.kif 65677-65677

appearance as argument number 3

(domainSubclass udaCanSignify 1 UserDirectAction)

ComputerInput.kif 1717-1717

antecedent

(=> (and (instance ?ACT UserDirectAction) (patient ?ACT ?JOYSTICK) (instance ?JOYSTICK Joystick)) (instance ?ACT JoystickMotion))	ComputerInput.kif 1645-1650
(=> (and (instance ?ACT UserDirectAction) (patient ?ACT ?TOUCHPAD) (instance ?TOUCHPAD ComputerTouchpad)) (instance ?ACT TouchPadAction))	ComputerInput.kif 1626-1631
(=> (and (instance ?ACT UserDirectAction) (patient ?ACT ?TOUCHSCREEN) (instance ?TOUCHSCREEN ComputerTouchscreen)) (instance ?ACT ScreenTouchAction))	ComputerInput.kif 1594-1599
(=> (and (instance ?ACT UserDirectAction) (patient ?ACT ?TOUCHSURF) (instance ?TOUCHSURF TouchSensitiveComputerInputDevice)) (instance ?ACT TouchSurfaceAction))	ComputerInput.kif 1545-1550
(=> (instance ?ACTION UserDirectAction) (exists (?DEVICE) (and (patient ?ACTION ?DEVICE) (instance ?DEVICE ComputerInputDevice))))	ComputerInput.kif 1191-1196
(=> (instance ?ACTION UserDirectAction) (exists (?SIG_ACTION) (and (represents ?ACTION ?SIG_ACTION) (instance ?SIG_ACTION UserSignifiedAction))))	ComputerInput.kif 1211-1216

consequent

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

ComputerInput.kif 1217-1222