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 1706-1707
(subclass UserSignifiedGraphicalAction UserSignifiedAction) ComputerInput.kif 1705-1705 UserSignifiedGraphicalAction ist eine teilkategorie von UserSignifiedAction

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


(subclass BringingGEToFront UserSignifiedGraphicalAction) ComputerInput.kif 2325-2325 BringingGEToFront ist eine teilkategorie von UserSignifiedGraphicalAction
(subclass ClosingGraphicalWindow UserSignifiedGraphicalAction) ComputerInput.kif 2432-2432 ClosingGraphicalWindow ist eine teilkategorie von UserSignifiedGraphicalAction
(subclass CoveringGUIElement UserSignifiedGraphicalAction) ComputerInput.kif 2497-2497 CoveringGUIElement ist eine teilkategorie von UserSignifiedGraphicalAction
(subclass Highlighting UserSignifiedGraphicalAction) ComputerInput.kif 2314-2314 Highlighting ist eine teilkategorie von UserSignifiedGraphicalAction
(subclass JumpingToActivateUIElement UserSignifiedGraphicalAction) ComputerInput.kif 2291-2291 JumpingToActivateUIElement ist eine teilkategorie von UserSignifiedGraphicalAction
(subclass MaximizingGraphicalWindow UserSignifiedGraphicalAction) ComputerInput.kif 2462-2462 MaximizingGraphicalWindow ist eine teilkategorie von UserSignifiedGraphicalAction
(subclass MinimizingGraphicalWindow UserSignifiedGraphicalAction) ComputerInput.kif 2447-2447 MinimizingGraphicalWindow ist eine teilkategorie von UserSignifiedGraphicalAction
(subclass MovingCursor UserSignifiedGraphicalAction) ComputerInput.kif 1723-1723 MovingCursor ist eine teilkategorie von UserSignifiedGraphicalAction
(subclass OpeningGraphicalWindow UserSignifiedGraphicalAction) ComputerInput.kif 2357-2357 OpeningGraphicalWindow ist eine teilkategorie von UserSignifiedGraphicalAction
(subclass PartiallyCoveringGraphicalWindow UserSignifiedGraphicalAction) ComputerInput.kif 2551-2551 PartiallyCoveringGraphicalWindow ist eine teilkategorie von UserSignifiedGraphicalAction
(subclass ResizingScreenObject UserSignifiedGraphicalAction) ComputerInput.kif 2319-2319 ResizingScreenObject ist eine teilkategorie von UserSignifiedGraphicalAction
(subclass UncoveringGUIElement UserSignifiedGraphicalAction) ComputerInput.kif 2619-2619 UncoveringGUIElement ist eine teilkategorie von UserSignifiedGraphicalAction
(subclass UnmaximizingGraphicalWindow UserSignifiedGraphicalAction) ComputerInput.kif 2480-2480 UnmaximizingGraphicalWindow ist eine teilkategorie von UserSignifiedGraphicalAction
(subclass WindowScrollingByUser UserSignifiedGraphicalAction) ComputerInput.kif 1784-1784 WindowScrollingByUser ist eine teilkategorie von UserSignifiedGraphicalAction
(termFormat EnglishLanguage UserSignifiedGraphicalAction "user signified graphical action") domainEnglishFormat.kif 65680-65680

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


(<=>
    (and
        (instance ?SCROLL WindowScrolling)
        (instance ?SCROLL UserSignifiedGraphicalAction))
    (instance ?SCROLL WindowScrollingByUser))		 ComputerInput.kif 1789-1793 Entity ist ein fall von WindowScrolling %n{nicht} und ** Entity ist ein fall von UserSignifiedGraphicalAction %n{nicht} genau dann wenn ** Entity ist ein fall von WindowScrollingByUser %n{nicht}
(=>
    (instance ?ACT UserSignifiedGraphicalAction)
    (exists (?GUIE)
        (and
            (patient ?ACT ?GUIE)
            (instance ?GUIE GUIActiveArea))))		 ComputerInput.kif 1709-1714


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