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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 1027-1033
(subclass UserSignifiedAction ComputerProcess) ComputerInput.kif 1025-1025
(subclass UserSignifiedAction UserAction) ComputerInput.kif 1024-1024

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


(disjoint UserDirectAction UserSignifiedAction) ComputerInput.kif 1035-1035
(subclass ActivatingUIElement UserSignifiedAction) ComputerInput.kif 1979-1979
(subclass ForceQuit UserSignifiedAction) ComputingBrands.kif 2996-2996
(subclass InputCharacterString UserSignifiedAction) ComputerInput.kif 1637-1637
(subclass SelectingActiveArea UserSignifiedAction) ComputerInput.kif 1891-1891
(subclass SubmitAction UserSignifiedAction) ComputerInput.kif 1605-1605
(subclass UserSignifiedGraphicalAction UserSignifiedAction) ComputerInput.kif 1495-1495
(subclass ViewItemRequest UserSignifiedAction) UXExperimentalTerms.kif 1754-1754

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


(domain udaCanSignify 2 UserSignifiedAction) ComputerInput.kif 1507-1507

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


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

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


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


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners