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
-------------------------


s__documentation(s__UserSignifiedGraphicalAction,s__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
s__instance(s__UserSignifiedAction,s__SetOrClass)

s__instance(s__UserSignifiedGraphicalAction,s__SetOrClass)

s__subclass(s__UserSignifiedGraphicalAction,s__UserSignifiedAction)

ComputerInput.kif 1720-1720 UserSignifiedGraphicalAction is a subclass of UserSignifiedAction

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


s__instance(s__BringingGEToFront,s__SetOrClass)

s__subclass(s__BringingGEToFront,s__UserSignifiedGraphicalAction)

s__instance(s__UserSignifiedGraphicalAction,s__SetOrClass)

ComputerInput.kif 2340-2340 BringingGEToFront is a subclass of UserSignifiedGraphicalAction
s__instance(s__ClosingGraphicalWindow,s__SetOrClass)

s__instance(s__UserSignifiedGraphicalAction,s__SetOrClass)

s__subclass(s__ClosingGraphicalWindow,s__UserSignifiedGraphicalAction)

ComputerInput.kif 2447-2447 ClosingGraphicalWindow is a subclass of UserSignifiedGraphicalAction
s__instance(s__CoveringGUIElement,s__SetOrClass)

s__subclass(s__CoveringGUIElement,s__UserSignifiedGraphicalAction)

s__instance(s__UserSignifiedGraphicalAction,s__SetOrClass)

ComputerInput.kif 2512-2512 CoveringGUIElement is a subclass of UserSignifiedGraphicalAction
s__instance(s__Highlighting,s__SetOrClass)

s__instance(s__UserSignifiedGraphicalAction,s__SetOrClass)

s__subclass(s__Highlighting,s__UserSignifiedGraphicalAction)

ComputerInput.kif 2329-2329 Highlighting is a subclass of UserSignifiedGraphicalAction
s__instance(s__JumpingToActivateUIElement,s__SetOrClass)

s__subclass(s__JumpingToActivateUIElement,s__UserSignifiedGraphicalAction)

s__instance(s__UserSignifiedGraphicalAction,s__SetOrClass)

ComputerInput.kif 2306-2306 JumpingToActivateUIElement is a subclass of UserSignifiedGraphicalAction
s__subclass(s__MaximizingGraphicalWindow,s__UserSignifiedGraphicalAction)

s__instance(s__UserSignifiedGraphicalAction,s__SetOrClass)

s__instance(s__MaximizingGraphicalWindow,s__SetOrClass)

ComputerInput.kif 2477-2477 MaximizingGraphicalWindow is a subclass of UserSignifiedGraphicalAction
s__instance(s__MinimizingGraphicalWindow,s__SetOrClass)

s__subclass(s__MinimizingGraphicalWindow,s__UserSignifiedGraphicalAction)

s__instance(s__UserSignifiedGraphicalAction,s__SetOrClass)

ComputerInput.kif 2462-2462 MinimizingGraphicalWindow is a subclass of UserSignifiedGraphicalAction
s__instance(s__UserSignifiedGraphicalAction,s__SetOrClass)

s__subclass(s__MovingCursor,s__UserSignifiedGraphicalAction)

s__instance(s__MovingCursor,s__SetOrClass)

ComputerInput.kif 1738-1738 MovingCursor is a subclass of UserSignifiedGraphicalAction
s__instance(s__OpeningGraphicalWindow,s__SetOrClass)

s__instance(s__UserSignifiedGraphicalAction,s__SetOrClass)

s__subclass(s__OpeningGraphicalWindow,s__UserSignifiedGraphicalAction)

ComputerInput.kif 2372-2372 OpeningGraphicalWindow is a subclass of UserSignifiedGraphicalAction
s__instance(s__PartiallyCoveringGraphicalWindow,s__SetOrClass)

s__instance(s__UserSignifiedGraphicalAction,s__SetOrClass)

s__subclass(s__PartiallyCoveringGraphicalWindow,s__UserSignifiedGraphicalAction)

ComputerInput.kif 2565-2565 PartiallyCoveringGraphicalWindow is a subclass of UserSignifiedGraphicalAction
s__subclass(s__ResizingScreenObject,s__UserSignifiedGraphicalAction)

s__instance(s__UserSignifiedGraphicalAction,s__SetOrClass)

s__instance(s__ResizingScreenObject,s__SetOrClass)

ComputerInput.kif 2334-2334 ResizingScreenObject is a subclass of UserSignifiedGraphicalAction
s__subclass(s__UncoveringGUIElement,s__UserSignifiedGraphicalAction)

s__instance(s__UncoveringGUIElement,s__SetOrClass)

s__instance(s__UserSignifiedGraphicalAction,s__SetOrClass)

ComputerInput.kif 2633-2633 UncoveringGUIElement is a subclass of UserSignifiedGraphicalAction
s__subclass(s__UnmaximizingGraphicalWindow,s__UserSignifiedGraphicalAction)

s__instance(s__UserSignifiedGraphicalAction,s__SetOrClass)

s__instance(s__UnmaximizingGraphicalWindow,s__SetOrClass)

ComputerInput.kif 2495-2495 UnmaximizingGraphicalWindow is a subclass of UserSignifiedGraphicalAction
s__instance(s__UserSignifiedGraphicalAction,s__SetOrClass)

s__instance(s__WindowScrollingByUser,s__SetOrClass)

s__subclass(s__WindowScrollingByUser,s__UserSignifiedGraphicalAction)

ComputerInput.kif 1799-1799 WindowScrollingByUser is a subclass of UserSignifiedGraphicalAction

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


( ! [V__SCROLL] :
   ((((s__instance(V__SCROLL,s__WindowScrolling) &
           s__instance(V__SCROLL,s__UserSignifiedGraphicalAction))
         =>
         s__instance(V__SCROLL,s__WindowScrollingByUser))
       &
       (s__instance(V__SCROLL,s__WindowScrollingByUser) =>
         (s__instance(V__SCROLL,s__WindowScrolling) &
           s__instance(V__SCROLL,s__UserSignifiedGraphicalAction))))
     )
   )

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
( ! [V__ACT] :
   ((s__instance(V__ACT,s__UserSignifiedGraphicalAction) =>
       (( ? [V__GUIE] :
           ((s__patient(V__ACT,V__GUIE)
             &
             s__instance(V__GUIE,s__GUIActiveArea))))))
   )
)

ComputerInput.kif 1724-1729


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