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

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


(subclass BringingGEToFront UserSignifiedGraphicalAction) ComputerInput.kif 2325-2325 子類 BringingGEToFront and UserSignifiedGraphicalAction
(subclass ClosingGraphicalWindow UserSignifiedGraphicalAction) ComputerInput.kif 2432-2432 子類 ClosingGraphicalWindow and UserSignifiedGraphicalAction
(subclass CoveringGUIElement UserSignifiedGraphicalAction) ComputerInput.kif 2497-2497 子類 CoveringGUIElement and UserSignifiedGraphicalAction
(subclass Highlighting UserSignifiedGraphicalAction) ComputerInput.kif 2314-2314 子類 Highlighting and UserSignifiedGraphicalAction
(subclass JumpingToActivateUIElement UserSignifiedGraphicalAction) ComputerInput.kif 2291-2291 子類 JumpingToActivateUIElement and UserSignifiedGraphicalAction
(subclass MaximizingGraphicalWindow UserSignifiedGraphicalAction) ComputerInput.kif 2462-2462 子類 MaximizingGraphicalWindow and UserSignifiedGraphicalAction
(subclass MinimizingGraphicalWindow UserSignifiedGraphicalAction) ComputerInput.kif 2447-2447 子類 MinimizingGraphicalWindow and UserSignifiedGraphicalAction
(subclass MovingCursor UserSignifiedGraphicalAction) ComputerInput.kif 1723-1723 子類 MovingCursor and UserSignifiedGraphicalAction
(subclass OpeningGraphicalWindow UserSignifiedGraphicalAction) ComputerInput.kif 2357-2357 子類 OpeningGraphicalWindow and UserSignifiedGraphicalAction
(subclass PartiallyCoveringGraphicalWindow UserSignifiedGraphicalAction) ComputerInput.kif 2551-2551 子類 PartiallyCoveringGraphicalWindow and UserSignifiedGraphicalAction
(subclass ResizingScreenObject UserSignifiedGraphicalAction) ComputerInput.kif 2319-2319 子類 ResizingScreenObject and UserSignifiedGraphicalAction
(subclass UncoveringGUIElement UserSignifiedGraphicalAction) ComputerInput.kif 2619-2619 子類 UncoveringGUIElement and UserSignifiedGraphicalAction
(subclass UnmaximizingGraphicalWindow UserSignifiedGraphicalAction) ComputerInput.kif 2480-2480 子類 UnmaximizingGraphicalWindow and UserSignifiedGraphicalAction
(subclass WindowScrollingByUser UserSignifiedGraphicalAction) ComputerInput.kif 1784-1784 子類 WindowScrollingByUser and 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 and WindowScrolling 例 Entity and UserSignifiedGraphicalAction 例 Entity and WindowScrollingByUser
(=>
    (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