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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 1201-1207
(subclass UserSignifiedAction ComputerProcess) ComputerInput.kif 1199-1199
(subclass UserSignifiedAction UserAction) ComputerInput.kif 1198-1198

appearance as argument number 2

(disjoint UserDirectAction UserSignifiedAction) ComputerInput.kif 1209-1209
(subclass ActivatingUIElement UserSignifiedAction) ComputerInput.kif 2262-2262
(subclass ForceQuit UserSignifiedAction) ComputingBrands.kif 3023-3023
(subclass InputCharacterString UserSignifiedAction) ComputerInput.kif 1869-1869
(subclass SelectingActiveArea UserSignifiedAction) ComputerInput.kif 2159-2159
(subclass SubmitAction UserSignifiedAction) ComputerInput.kif 1833-1833
(subclass UserSignifiedGraphicalAction UserSignifiedAction) ComputerInput.kif 1705-1705
(subclass ViewItemRequest UserSignifiedAction) UXExperimentalTerms.kif 1558-1558
(termFormat EnglishLanguage UserSignifiedAction "user signified action") domainEnglishFormat.kif 65691-65691

appearance as argument number 3

(domainSubclass udaCanSignify 2 UserSignifiedAction) ComputerInput.kif 1718-1718


    (instance ?SIG_ACTION UserSignifiedAction)
    (exists (?DIR_ACTION)
            (represents ?DIR_ACTION ?SIG_ACTION)
            (instance ?DIR_ACTION UserDirectAction))))
ComputerInput.kif 1217-1222


    (instance ?ACTION UserDirectAction)
    (exists (?SIG_ACTION)
            (represents ?ACTION ?SIG_ACTION)
            (instance ?SIG_ACTION UserSignifiedAction))))
ComputerInput.kif 1211-1216

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