UserDirectAction - Sigma Knowledge base Browser

appearance as argument number 1

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

appearance as argument number 2

(subclass AudioInput UserDirectAction)	ComputerInput.kif 1652-1652	Audio input is a subclass of user direct action
(subclass ChangingAccountInfo UserDirectAction)	ComputingBrands.kif 4118-4118	Change account information is a subclass of user direct action
(subclass ChangingPassword UserDirectAction)	ComputingBrands.kif 4074-4074	Change password is a subclass of user direct action
(subclass ChangingUserName UserDirectAction)	ComputingBrands.kif 4096-4096	Change user name is a subclass of user direct action
(subclass Clicking UserDirectAction)	ComputerInput.kif 1430-1430	Clicking is a subclass of user direct action
(subclass CreatingAnAccount UserDirectAction)	ComputingBrands.kif 4137-4137	Creating an account is a subclass of user direct action
(subclass DataEntry UserDirectAction)	ComputingBrands.kif 4316-4316	Data entry is a subclass of user direct action
(subclass JoystickMotion UserDirectAction)	ComputerInput.kif 1633-1633	Joystick motion is a subclass of user direct action
(subclass KeyboardAction UserDirectAction)	ComputerInput.kif 1224-1224	Keyboard action is a subclass of user direct action
(subclass LoggingIn UserDirectAction)	ComputingBrands.kif 3959-3959	Logging in is a subclass of user direct action
(subclass LoginFailure UserDirectAction)	ComputingBrands.kif 4008-4008	Login failure 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 SlidingComputerInputDeviceAction UserDirectAction)	ComputerInput.kif 1516-1516	Sliding computer input device action is a subclass of user direct action
(subclass SupplyingEyeScan UserDirectAction)	ComputingBrands.kif 4023-4023	Supplying eye scan is a subclass of user direct action
(subclass SupplyingFingerprint UserDirectAction)	ComputingBrands.kif 4022-4022	Supplying fingerprint is a subclass of user direct action
(subclass TouchSurfaceAction UserDirectAction)	ComputerInput.kif 1533-1533	Touch surface action is a subclass of user direct action
(termFormat EnglishLanguage UserDirectAction "user direct action")	domainEnglishFormat.kif 65677-65677

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

(=> (and (instance ?ACT UserDirectAction) (patient ?ACT ?JOYSTICK) (instance ?JOYSTICK Joystick)) (instance ?ACT JoystickMotion))	ComputerInput.kif 1645-1650	If a process is an instance of user direct action and an entity is a patient of the process and the entity is an instance of joystick, then the process is an instance of joystick motion
(=> (and (instance ?ACT UserDirectAction) (patient ?ACT ?TOUCHPAD) (instance ?TOUCHPAD ComputerTouchpad)) (instance ?ACT TouchPadAction))	ComputerInput.kif 1626-1631	If a process is an instance of user direct action and an entity is a patient of the process and the entity is an instance of computer touchpad, then the process is an instance of touch pad action
(=> (and (instance ?ACT UserDirectAction) (patient ?ACT ?TOUCHSCREEN) (instance ?TOUCHSCREEN ComputerTouchscreen)) (instance ?ACT ScreenTouchAction))	ComputerInput.kif 1594-1599	If a process is an instance of user direct action and an entity is a patient of the process and the entity is an instance of computer touchscreen, then the process is an instance of screen touch action
(=> (and (instance ?ACT UserDirectAction) (patient ?ACT ?TOUCHSURF) (instance ?TOUCHSURF TouchSensitiveComputerInputDevice)) (instance ?ACT TouchSurfaceAction))	ComputerInput.kif 1545-1550	If a process is an instance of user direct action and an entity is a patient of the process and the entity is an instance of touch sensitive computer input device, then the process is an instance of touch surface action
(=> (instance ?ACTION UserDirectAction) (exists (?DEVICE) (and (patient ?ACTION ?DEVICE) (instance ?DEVICE ComputerInputDevice))))	ComputerInput.kif 1191-1196	If a process is an instance of user direct action, then there exists an entity such that the entity is a patient of the process and the entity 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 an entity is an instance of user direct action, then there exists another entity_ACTION such that the entity expresses the other entity_ACTION and the other entity_ACTION is an instance of user signified action

consequent

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

ComputerInput.kif 1217-1222

If an entity_ACTION is an instance of user signified action,
then there exists another entity_ACTION such that the other entity_ACTION expresses the entity_ACTION and the other entity_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: