UserSignifiedAction - Sigma Knowledge base Browser

appearance as argument number 1

(subclass UserSignifiedAction UserAction)	ComputerInput.kif 1214-1214	User signified action is a subclass of user action
(subclass UserSignifiedAction ComputerProcess)	ComputerInput.kif 1215-1215	User signified action is a subclass of computer process
(documentation UserSignifiedAction EnglishLanguage "A UserSignifiedAction is an action signified by physical action taken by a ComputerUser in interacting with a ComputerProcess -- scrolling, selecting a link, moving a cursor, ... -- not physical action itself (clicking a button, moving a mouse, touching a screen, ...). Often several different types UserDirectAction (q.v.) could signify the same UserSignifiedAction.")	ComputerInput.kif 1217-1223	User signified action is a subclass of computer process

appearance as argument number 2

(disjoint UserDirectAction UserSignifiedAction)	ComputerInput.kif 1225-1225	User direct action is disjoint from user signified action
(subclass UserSignifiedGraphicalAction UserSignifiedAction)	ComputerInput.kif 1721-1721	User signified graphical action is a subclass of user signified action
(subclass SubmitAction UserSignifiedAction)	ComputerInput.kif 1849-1849	Submit action is a subclass of user signified action
(subclass InputCharacterString UserSignifiedAction)	ComputerInput.kif 1885-1885	Input character string is a subclass of user signified action
(subclass SelectingActiveArea UserSignifiedAction)	ComputerInput.kif 2175-2175	Selecting active area is a subclass of user signified action
(subclass ActivatingUIElement UserSignifiedAction)	ComputerInput.kif 2278-2278	Activating UI element is a subclass of user signified action
(subclass ForceQuit UserSignifiedAction)	ComputingBrands.kif 2934-2934	Force quit is a subclass of user signified action
(subclass ViewItemRequest UserSignifiedAction)	UXExperimentalTerms.kif 1550-1550	View item request is a subclass of user signified action
(termFormat EnglishLanguage UserSignifiedAction "user signified action")	domainEnglishFormat.kif 65682-65682	View item request is a subclass of user signified action

appearance as argument number 3

(domainSubclass udaCanSignify 2 UserSignifiedAction)

antecedent

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

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

consequent

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

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