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 1721-1722
(subclass UserSignifiedGraphicalAction UserSignifiedAction) ComputerInput.kif 1720-1720 UserSignifiedGraphicalAction is a subclass of UserSignifiedAction

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


(subclass BringingGEToFront UserSignifiedGraphicalAction) ComputerInput.kif 2340-2340 BringingGEToFront is a subclass of UserSignifiedGraphicalAction
(subclass ClosingGraphicalWindow UserSignifiedGraphicalAction) ComputerInput.kif 2447-2447 ClosingGraphicalWindow is a subclass of UserSignifiedGraphicalAction
(subclass CoveringGUIElement UserSignifiedGraphicalAction) ComputerInput.kif 2512-2512 CoveringGUIElement is a subclass of UserSignifiedGraphicalAction
(subclass Highlighting UserSignifiedGraphicalAction) ComputerInput.kif 2329-2329 Highlighting is a subclass of UserSignifiedGraphicalAction
(subclass JumpingToActivateUIElement UserSignifiedGraphicalAction) ComputerInput.kif 2306-2306 JumpingToActivateUIElement is a subclass of UserSignifiedGraphicalAction
(subclass MaximizingGraphicalWindow UserSignifiedGraphicalAction) ComputerInput.kif 2477-2477 MaximizingGraphicalWindow is a subclass of UserSignifiedGraphicalAction
(subclass MinimizingGraphicalWindow UserSignifiedGraphicalAction) ComputerInput.kif 2462-2462 MinimizingGraphicalWindow is a subclass of UserSignifiedGraphicalAction
(subclass MovingCursor UserSignifiedGraphicalAction) ComputerInput.kif 1738-1738 MovingCursor is a subclass of UserSignifiedGraphicalAction
(subclass OpeningGraphicalWindow UserSignifiedGraphicalAction) ComputerInput.kif 2372-2372 OpeningGraphicalWindow is a subclass of UserSignifiedGraphicalAction
(subclass PartiallyCoveringGraphicalWindow UserSignifiedGraphicalAction) ComputerInput.kif 2565-2565 PartiallyCoveringGraphicalWindow is a subclass of UserSignifiedGraphicalAction
(subclass ResizingScreenObject UserSignifiedGraphicalAction) ComputerInput.kif 2334-2334 ResizingScreenObject is a subclass of UserSignifiedGraphicalAction
(subclass UncoveringGUIElement UserSignifiedGraphicalAction) ComputerInput.kif 2633-2633 UncoveringGUIElement is a subclass of UserSignifiedGraphicalAction
(subclass UnmaximizingGraphicalWindow UserSignifiedGraphicalAction) ComputerInput.kif 2495-2495 UnmaximizingGraphicalWindow is a subclass of UserSignifiedGraphicalAction
(subclass WindowScrollingByUser UserSignifiedGraphicalAction) ComputerInput.kif 1799-1799 WindowScrollingByUser is a subclass of UserSignifiedGraphicalAction

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


(<=>
    (and
        (instance ?SCROLL WindowScrolling)
        (instance ?SCROLL UserSignifiedGraphicalAction))
    (instance ?SCROLL WindowScrollingByUser))
ComputerInput.kif 1804-1808 An entity is an instance of WindowScrolling and the entity is an instance of UserSignifiedGraphicalAction if and only if the entity is an instance of WindowScrollingByUser
(=>
    (instance ?ACT UserSignifiedGraphicalAction)
    (exists (?GUIE)
        (and
            (patient ?ACT ?GUIE)
            (instance ?GUIE GUIActiveArea))))
ComputerInput.kif 1724-1729


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