UserDirectAction - Sigma Knowledge base Browser

appearance as argument number 1

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

appearance as argument number 2

(subclass AudioInput UserDirectAction)	ComputerInput.kif 1652-1652	AudioInput is a subclass of UserDirectAction
(subclass ChangingAccountInfo UserDirectAction)	ComputingBrands.kif 4113-4113	ChangingAccountInfo is a subclass of UserDirectAction
(subclass ChangingPassword UserDirectAction)	ComputingBrands.kif 4069-4069	ChangingPassword is a subclass of UserDirectAction
(subclass ChangingUserName UserDirectAction)	ComputingBrands.kif 4091-4091	ChangingUserName is a subclass of UserDirectAction
(subclass Clicking UserDirectAction)	ComputerInput.kif 1430-1430	Clicking is a subclass of UserDirectAction
(subclass CreatingAnAccount UserDirectAction)	ComputingBrands.kif 4132-4132	CreatingAnAccount is a subclass of UserDirectAction
(subclass DataEntry UserDirectAction)	ComputingBrands.kif 4311-4311	DataEntry is a subclass of UserDirectAction
(subclass JoystickMotion UserDirectAction)	ComputerInput.kif 1633-1633	JoystickMotion is a subclass of UserDirectAction
(subclass KeyboardAction UserDirectAction)	ComputerInput.kif 1224-1224	KeyboardAction is a subclass of UserDirectAction
(subclass LoggingIn UserDirectAction)	ComputingBrands.kif 3954-3954	LoggingIn is a subclass of UserDirectAction
(subclass LoginFailure UserDirectAction)	ComputingBrands.kif 4003-4003	LoginFailure is a subclass of UserDirectAction
(subclass ScrollWheelRotating UserDirectAction)	ComputerInput.kif 1664-1664	ScrollWheelRotating is a subclass of UserDirectAction
(subclass SlidingComputerInputDeviceAction UserDirectAction)	ComputerInput.kif 1516-1516	SlidingComputerInputDeviceAction is a subclass of UserDirectAction
(subclass SupplyingEyeScan UserDirectAction)	ComputingBrands.kif 4018-4018	SupplyingEyeScan is a subclass of UserDirectAction
(subclass SupplyingFingerprint UserDirectAction)	ComputingBrands.kif 4017-4017	SupplyingFingerprint is a subclass of UserDirectAction
(subclass TouchSurfaceAction UserDirectAction)	ComputerInput.kif 1533-1533	TouchSurfaceAction is a subclass of UserDirectAction
(termFormat EnglishLanguage UserDirectAction "user direct action")	domainEnglishFormat.kif 65668-65668	TouchSurfaceAction is a subclass of UserDirectAction

appearance as argument number 3

(domainSubclass udaCanSignify 1 UserDirectAction)

ComputerInput.kif 1717-1717

The number 1 argument of udaCanSignify is a subclass of UserDirectAction

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 UserDirectAction and an entity is a patient of the process and the entity is an instance of Joystick, then the process is an instance of JoystickMotion
(=> (and (instance ?ACT UserDirectAction) (patient ?ACT ?TOUCHPAD) (instance ?TOUCHPAD ComputerTouchpad)) (instance ?ACT TouchPadAction))	ComputerInput.kif 1626-1631	If a process is an instance of UserDirectAction and an entity is a patient of the process and the entity is an instance of ComputerTouchpad, then the process is an instance of TouchPadAction
(=> (and (instance ?ACT UserDirectAction) (patient ?ACT ?TOUCHSCREEN) (instance ?TOUCHSCREEN ComputerTouchscreen)) (instance ?ACT ScreenTouchAction))	ComputerInput.kif 1594-1599	If a process is an instance of UserDirectAction and an entity is a patient of the process and the entity is an instance of ComputerTouchscreen, then the process is an instance of ScreenTouchAction
(=> (and (instance ?ACT UserDirectAction) (patient ?ACT ?TOUCHSURF) (instance ?TOUCHSURF TouchSensitiveComputerInputDevice)) (instance ?ACT TouchSurfaceAction))	ComputerInput.kif 1545-1550	If a process is an instance of UserDirectAction and an entity is a patient of the process and the entity is an instance of TouchSensitiveComputerInputDevice, then the process is an instance of TouchSurfaceAction
(=> (instance ?ACTION UserDirectAction) (exists (?DEVICE) (and (patient ?ACTION ?DEVICE) (instance ?DEVICE ComputerInputDevice))))	ComputerInput.kif 1191-1196	If a process is an instance of UserDirectAction, then there exists an entity such that the entity is a patient of the process and the entity is an instance of ComputerInputDevice
(=> (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 UserDirectAction, then there exists another entity_ACTION such that the entity expresses the other entity_ACTION and the other entity_ACTION is an instance of UserSignifiedAction

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 UserSignifiedAction,
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 UserDirectAction

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: