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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - UserSignifiedGraphicalAction
UserSignifiedGraphicalAction

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

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


(subclass BringingGEToFront UserSignifiedGraphicalAction) ComputerInput.kif 2325-2325
(subclass ClosingGraphicalWindow UserSignifiedGraphicalAction) ComputerInput.kif 2432-2432
(subclass CoveringGUIElement UserSignifiedGraphicalAction) ComputerInput.kif 2497-2497
(subclass Highlighting UserSignifiedGraphicalAction) ComputerInput.kif 2314-2314
(subclass JumpingToActivateUIElement UserSignifiedGraphicalAction) ComputerInput.kif 2291-2291
(subclass MaximizingGraphicalWindow UserSignifiedGraphicalAction) ComputerInput.kif 2462-2462
(subclass MinimizingGraphicalWindow UserSignifiedGraphicalAction) ComputerInput.kif 2447-2447
(subclass MovingCursor UserSignifiedGraphicalAction) ComputerInput.kif 1723-1723
(subclass OpeningGraphicalWindow UserSignifiedGraphicalAction) ComputerInput.kif 2357-2357
(subclass PartiallyCoveringGraphicalWindow UserSignifiedGraphicalAction) ComputerInput.kif 2551-2551
(subclass ResizingScreenObject UserSignifiedGraphicalAction) ComputerInput.kif 2319-2319
(subclass UncoveringGUIElement UserSignifiedGraphicalAction) ComputerInput.kif 2619-2619
(subclass UnmaximizingGraphicalWindow UserSignifiedGraphicalAction) ComputerInput.kif 2480-2480
(subclass WindowScrollingByUser UserSignifiedGraphicalAction) ComputerInput.kif 1784-1784
(termFormat EnglishLanguage UserSignifiedGraphicalAction "user signified graphical action") domainEnglishFormat.kif 65680-65680

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


(<=>
    (and
        (instance ?SCROLL WindowScrolling)
        (instance ?SCROLL UserSignifiedGraphicalAction))
    (instance ?SCROLL WindowScrollingByUser))
ComputerInput.kif 1789-1793
(=>
    (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