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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - UserSignifiedGraphicalAction
UserSignifiedGraphicalAction(user signified graphical action)

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


(documentation UserSignifiedGraphicalAction EnglishLanguage "A UserSignifiedAction that is interpreted as signifying a change in a graphical feature (cursor movement, highlighting of an area, etc.).") ComputerInput.kif 1706-1707
(subclass UserSignifiedGraphicalAction UserSignifiedAction) ComputerInput.kif 1705-1705 User signified graphical action is a subclass of user signified action

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


(subclass BringingGEToFront UserSignifiedGraphicalAction) ComputerInput.kif 2325-2325 Bringing GE to front is a subclass of user signified graphical action
(subclass ClosingGraphicalWindow UserSignifiedGraphicalAction) ComputerInput.kif 2432-2432 Closing graphical window is a subclass of user signified graphical action
(subclass CoveringGUIElement UserSignifiedGraphicalAction) ComputerInput.kif 2497-2497 Covering GUI element is a subclass of user signified graphical action
(subclass Highlighting UserSignifiedGraphicalAction) ComputerInput.kif 2314-2314 Highlighting is a subclass of user signified graphical action
(subclass JumpingToActivateUIElement UserSignifiedGraphicalAction) ComputerInput.kif 2291-2291 Jumping to activate UI element is a subclass of user signified graphical action
(subclass MaximizingGraphicalWindow UserSignifiedGraphicalAction) ComputerInput.kif 2462-2462 Maximizing graphical window is a subclass of user signified graphical action
(subclass MinimizingGraphicalWindow UserSignifiedGraphicalAction) ComputerInput.kif 2447-2447 Minimizing graphical window is a subclass of user signified graphical action
(subclass MovingCursor UserSignifiedGraphicalAction) ComputerInput.kif 1723-1723 Moving cursor is a subclass of user signified graphical action
(subclass OpeningGraphicalWindow UserSignifiedGraphicalAction) ComputerInput.kif 2357-2357 Opening graphical window is a subclass of user signified graphical action
(subclass PartiallyCoveringGraphicalWindow UserSignifiedGraphicalAction) ComputerInput.kif 2551-2551 Partially covering graphical window is a subclass of user signified graphical action
(subclass ResizingScreenObject UserSignifiedGraphicalAction) ComputerInput.kif 2319-2319 Resizing screen object is a subclass of user signified graphical action
(subclass UncoveringGUIElement UserSignifiedGraphicalAction) ComputerInput.kif 2619-2619 Uncovering GUI element is a subclass of user signified graphical action
(subclass UnmaximizingGraphicalWindow UserSignifiedGraphicalAction) ComputerInput.kif 2480-2480 Unmaximizing graphical window is a subclass of user signified graphical action
(subclass WindowScrollingByUser UserSignifiedGraphicalAction) ComputerInput.kif 1784-1784 Window scrolling by user is a subclass of user signified graphical action
(termFormat EnglishLanguage UserSignifiedGraphicalAction "user signified graphical action") domainEnglishFormat.kif 65705-65705 Window scrolling by user is a subclass of user signified graphical action

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


(<=>
    (and
        (instance ?SCROLL WindowScrolling)
        (instance ?SCROLL UserSignifiedGraphicalAction))
    (instance ?SCROLL WindowScrollingByUser))		 ComputerInput.kif 1789-1793 An entity is an instance of window scrolling and the entity is an instance of user signified graphical action if and only if the entity is an instance of window scrolling by user
(=>
    (instance ?ACT UserSignifiedGraphicalAction)
    (exists (?GUIE)
        (and
            (patient ?ACT ?GUIE)
            (instance ?GUIE GUIActiveArea))))		 ComputerInput.kif 1709-1714


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