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

Formal Language: 



KB Term:  Term intersection
English Word: 

  UserSignifiedGraphicalAction

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 1703-1704
(subclass UserSignifiedGraphicalAction UserSignifiedAction) ComputerInput.kif 1702-1702 subclass UserSignifiedGraphicalAction and UserSignifiedAction

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


(subclass BringingGEToFront UserSignifiedGraphicalAction) ComputerInput.kif 2322-2322 subclass BringingGEToFront and UserSignifiedGraphicalAction
(subclass ClosingGraphicalWindow UserSignifiedGraphicalAction) ComputerInput.kif 2429-2429 subclass ClosingGraphicalWindow and UserSignifiedGraphicalAction
(subclass CoveringGUIElement UserSignifiedGraphicalAction) ComputerInput.kif 2494-2494 subclass CoveringGUIElement and UserSignifiedGraphicalAction
(subclass Highlighting UserSignifiedGraphicalAction) ComputerInput.kif 2311-2311 subclass Highlighting and UserSignifiedGraphicalAction
(subclass JumpingToActivateUIElement UserSignifiedGraphicalAction) ComputerInput.kif 2288-2288 subclass JumpingToActivateUIElement and UserSignifiedGraphicalAction
(subclass MaximizingGraphicalWindow UserSignifiedGraphicalAction) ComputerInput.kif 2459-2459 subclass MaximizingGraphicalWindow and UserSignifiedGraphicalAction
(subclass MinimizingGraphicalWindow UserSignifiedGraphicalAction) ComputerInput.kif 2444-2444 subclass MinimizingGraphicalWindow and UserSignifiedGraphicalAction
(subclass MovingCursor UserSignifiedGraphicalAction) ComputerInput.kif 1720-1720 subclass MovingCursor and UserSignifiedGraphicalAction
(subclass OpeningGraphicalWindow UserSignifiedGraphicalAction) ComputerInput.kif 2354-2354 subclass OpeningGraphicalWindow and UserSignifiedGraphicalAction
(subclass PartiallyCoveringGraphicalWindow UserSignifiedGraphicalAction) ComputerInput.kif 2547-2547 subclass PartiallyCoveringGraphicalWindow and UserSignifiedGraphicalAction
(subclass ResizingScreenObject UserSignifiedGraphicalAction) ComputerInput.kif 2316-2316 subclass ResizingScreenObject and UserSignifiedGraphicalAction
(subclass UncoveringGUIElement UserSignifiedGraphicalAction) ComputerInput.kif 2615-2615 subclass UncoveringGUIElement and UserSignifiedGraphicalAction
(subclass UnmaximizingGraphicalWindow UserSignifiedGraphicalAction) ComputerInput.kif 2477-2477 subclass UnmaximizingGraphicalWindow and UserSignifiedGraphicalAction
(subclass WindowScrollingByUser UserSignifiedGraphicalAction) ComputerInput.kif 1781-1781 subclass WindowScrollingByUser and UserSignifiedGraphicalAction

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


(<=>
    (and
        (instance ?SCROLL WindowScrolling)
        (instance ?SCROLL UserSignifiedGraphicalAction))
    (instance ?SCROLL WindowScrollingByUser))
ComputerInput.kif 1786-1790 instance Entity and WindowScrolling instance Entity and UserSignifiedGraphicalAction instance Entity and WindowScrollingByUser
(=>
    (instance ?ACT UserSignifiedGraphicalAction)
    (exists (?GUIE)
        (and
            (patient ?ACT ?GUIE)
            (instance ?GUIE GUIActiveArea))))
ComputerInput.kif 1706-1711


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