UserAction - Sigma Knowledge base Browser

appearance as argument number 1

(subclass UserAction IntentionalProcess)	ComputerInput.kif 1167-1167	User action is a subclass of intentional process
(documentation UserAction EnglishLanguage "A UserAction is an action taken by a ComputerUser in interacting with a ComputerProcess.")	ComputerInput.kif 1170-1171	User action is a subclass of intentional process

appearance as argument number 2

(termFormat EnglishLanguage UserAction "user action")	ComputerInput.kif 1168-1168
(subclass UserDirectAction UserAction)	ComputerInput.kif 1180-1180	User direct action is a subclass of user action
(subclass UserSignifiedAction UserAction)	ComputerInput.kif 1198-1198	User signified action is a subclass of user action
(subclass RecentActivity UserAction)	Facebook.kif 308-308	Recent activity is a subclass of user action

antecedent

(=>
    (instance ?ACTION UserAction)
    (exists (?COMP_USER)
        (and
            (attribute ?COMP_USER ComputerUser)
            (agent ?ACTION ?COMP_USER))))

If X is an instance of user action, then there exists ?COMP_USER such that computer user is an attribute of ?COMP_USER and ?COMP_USER is an agent of X