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 1327-1327
(subclass UserSignifiedGraphicalAction UserSignifiedAction) ComputerInput.kif 1326-1326 UserSignifiedGraphicalAction is a subclass of UserSignifiedAction

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


(subclass BringingGEToFront UserSignifiedGraphicalAction) ComputerInput.kif 1862-1862 BringingGEToFront is a subclass of UserSignifiedGraphicalAction
(subclass ClosingGraphicalWindow UserSignifiedGraphicalAction) ComputerInput.kif 1962-1962 ClosingGraphicalWindow is a subclass of UserSignifiedGraphicalAction
(subclass CoveringGUIElement UserSignifiedGraphicalAction) ComputerInput.kif 2018-2018 CoveringGUIElement is a subclass of UserSignifiedGraphicalAction
(subclass Highlighting UserSignifiedGraphicalAction) ComputerInput.kif 1853-1853 Highlighting is a subclass of UserSignifiedGraphicalAction
(subclass JumpingToActivateUIElement UserSignifiedGraphicalAction) ComputerInput.kif 1835-1835 JumpingToActivateUIElement is a subclass of UserSignifiedGraphicalAction
(subclass MaximizingGraphicalWindow UserSignifiedGraphicalAction) ComputerInput.kif 1990-1990 MaximizingGraphicalWindow is a subclass of UserSignifiedGraphicalAction
(subclass MinimizingGraphicalWindow UserSignifiedGraphicalAction) ComputerInput.kif 1976-1976 MinimizingGraphicalWindow is a subclass of UserSignifiedGraphicalAction
(subclass MovingCursor UserSignifiedGraphicalAction) ComputerInput.kif 1341-1341 MovingCursor is a subclass of UserSignifiedGraphicalAction
(subclass OpeningGraphicalWindow UserSignifiedGraphicalAction) ComputerInput.kif 1892-1892 OpeningGraphicalWindow is a subclass of UserSignifiedGraphicalAction
(subclass PartiallyCoveringGraphicalWindow UserSignifiedGraphicalAction) ComputerInput.kif 2067-2067 PartiallyCoveringGraphicalWindow is a subclass of UserSignifiedGraphicalAction
(subclass ResizingScreenObject UserSignifiedGraphicalAction) ComputerInput.kif 1857-1857 ResizingScreenObject is a subclass of UserSignifiedGraphicalAction
(subclass UncoveringGUIElement UserSignifiedGraphicalAction) ComputerInput.kif 2131-2131 UncoveringGUIElement is a subclass of UserSignifiedGraphicalAction
(subclass UnmaximizingGraphicalWindow UserSignifiedGraphicalAction) ComputerInput.kif 2004-2004 UnmaximizingGraphicalWindow is a subclass of UserSignifiedGraphicalAction
(subclass WindowScrollingByUser UserSignifiedGraphicalAction) ComputerInput.kif 1395-1395 WindowScrollingByUser is a subclass of UserSignifiedGraphicalAction

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


(<=>
    (and
        (instance ?SCROLL WindowScrolling)
        (instance ?SCROLL UserSignifiedGraphicalAction))
    (instance ?SCROLL WindowScrollingByUser))
ComputerInput.kif 1398-1402 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 1329-1334


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