UserDirectAction - Sigma Knowledge base Browser

appearance as argument number 1

(subclass UserDirectAction UserAction)	ComputerInput.kif 1180-1180	User direct action is a subclass of user action
(subclass UserDirectAction Icon)	ComputerInput.kif 1181-1181	User direct action is a subclass of icon
(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	User direct action is a subclass of icon
(disjoint UserDirectAction UserSignifiedAction)	ComputerInput.kif 1209-1209	User direct action is disjoint from user signified action

appearance as argument number 2

(subclass KeyboardAction UserDirectAction)	ComputerInput.kif 1224-1224	Keyboard action is a subclass of user direct action
(subclass Clicking UserDirectAction)	ComputerInput.kif 1430-1430	Clicking is a subclass of user direct action
(subclass SlidingComputerInputDeviceAction UserDirectAction)	ComputerInput.kif 1516-1516	Sliding computer input device action is a subclass of user direct action
(subclass TouchSurfaceAction UserDirectAction)	ComputerInput.kif 1533-1533	Touch surface action is a subclass of user direct action
(subclass JoystickMotion UserDirectAction)	ComputerInput.kif 1633-1633	Joystick motion is a subclass of user direct action
(subclass AudioInput UserDirectAction)	ComputerInput.kif 1652-1652	Audio input is a subclass of user direct action
(subclass ScrollWheelRotating UserDirectAction)	ComputerInput.kif 1664-1664	Scroll wheel rotating is a subclass of user direct action
(subclass LoggingIn UserDirectAction)	ComputingBrands.kif 3865-3865	Logging in is a subclass of user direct action
(subclass LoginFailure UserDirectAction)	ComputingBrands.kif 3914-3914	Login failure is a subclass of user direct action
(subclass SupplyingFingerprint UserDirectAction)	ComputingBrands.kif 3928-3928	Supplying fingerprint is a subclass of user direct action
(subclass SupplyingEyeScan UserDirectAction)	ComputingBrands.kif 3929-3929	Supplying eye scan is a subclass of user direct action
(subclass ChangingPassword UserDirectAction)	ComputingBrands.kif 3980-3980	Change password is a subclass of user direct action
(subclass ChangingUserName UserDirectAction)	ComputingBrands.kif 4002-4002	Change user name is a subclass of user direct action
(subclass ChangingAccountInfo UserDirectAction)	ComputingBrands.kif 4024-4024	Change account information is a subclass of user direct action
(subclass CreatingAnAccount UserDirectAction)	ComputingBrands.kif 4043-4043	Creating an account is a subclass of user direct action
(subclass DataEntry UserDirectAction)	ComputingBrands.kif 4222-4222	Data entry is a subclass of user direct action
(termFormat EnglishLanguage UserDirectAction "user direct action")	domainEnglishFormat.kif 65678-65678	Data entry is a subclass of user direct action

appearance as argument number 3

(domainSubclass udaCanSignify 1 UserDirectAction)

ComputerInput.kif 1717-1717

The number 1 argument of uda can signify is a subclass of user direct action

antecedent

(=> (instance ?ACTION UserDirectAction) (exists (?DEVICE) (and (patient ?ACTION ?DEVICE) (instance ?DEVICE ComputerInputDevice))))	ComputerInput.kif 1191-1196	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 1211-1216	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 1545-1550	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 1594-1599	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 1626-1631	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 1645-1650	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

consequent

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

ComputerInput.kif 1217-1222

If ?SIG_ACTION is an instance of user signified action, then there exists ?DIR_ACTION such that ?DIR_ACTION expresses ?SIG_ACTION and ?DIR_ACTION is an instance of user direct action

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: