Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  UserSignifiedAction

Sigma KEE - UserSignifiedAction
UserSignifiedAction

appearance as argument number 1
-------------------------


(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 1198-1204
(subclass UserSignifiedAction ComputerProcess) ComputerInput.kif 1196-1196 UserSignifiedAction is a subclass of computer process
(subclass UserSignifiedAction UserAction) ComputerInput.kif 1195-1195 UserSignifiedAction is a subclass of UserAction

appearance as argument number 2
-------------------------


(disjoint UserDirectAction UserSignifiedAction) ComputerInput.kif 1206-1206 UserDirectAction is disjoint from UserSignifiedAction
(subclass ActivatingUIElement UserSignifiedAction) ComputerInput.kif 2259-2259 ActivatingUIElement is a subclass of UserSignifiedAction
(subclass ForceQuit UserSignifiedAction) ComputingBrands.kif 2991-2991 Force quit is a subclass of UserSignifiedAction
(subclass InputCharacterString UserSignifiedAction) ComputerInput.kif 1866-1866 InputCharacterString is a subclass of UserSignifiedAction
(subclass SelectingActiveArea UserSignifiedAction) ComputerInput.kif 2156-2156 SelectingActiveArea is a subclass of UserSignifiedAction
(subclass SubmitAction UserSignifiedAction) ComputerInput.kif 1830-1830 SubmitAction is a subclass of UserSignifiedAction
(subclass UserSignifiedGraphicalAction UserSignifiedAction) ComputerInput.kif 1702-1702 UserSignifiedGraphicalAction is a subclass of UserSignifiedAction
(subclass ViewItemRequest UserSignifiedAction) UXExperimentalTerms.kif 1757-1757 View item request is a subclass of UserSignifiedAction

appearance as argument number 3
-------------------------


(domainSubclass udaCanSignify 2 UserSignifiedAction) ComputerInput.kif 1715-1715 The number 2 argument of udaCanSignify is a subclass of UserSignifiedAction

antecedent
-------------------------


(=>
    (instance ?SIG_ACTION UserSignifiedAction)
    (exists (?DIR_ACTION)
        (and
            (represents ?DIR_ACTION ?SIG_ACTION)
            (instance ?DIR_ACTION UserDirectAction))))
ComputerInput.kif 1214-1219

consequent
-------------------------


(=>
    (instance ?ACTION UserDirectAction)
    (exists (?SIG_ACTION)
        (and
            (represents ?ACTION ?SIG_ACTION)
            (instance ?SIG_ACTION UserSignifiedAction))))
ComputerInput.kif 1208-1213


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

Show without tree


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