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