Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - GUIActiveArea
GUIActiveArea

appearance as argument number 1
-------------------------


(documentation GUIActiveArea EnglishLanguage "A GUIActiveArea is a (normally rectangular) GUIElement which a user can make active (change its state to GUI_ActiveState), select, and interact with.") ComputerInput.kif 879-880
(subclass GUIActiveArea GUIElement) ComputerInput.kif 878-878 GUIActiveArea e' uma sub-classe de GUIElement

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


(disjoint MouseCursor GUIActiveArea) ComputerInput.kif 1064-1064 MouseCursor e' disjunto de GUIActiveArea
(subclass ComputerMenuItem GUIActiveArea) ComputerInput.kif 1128-1128 ComputerMenuItem e' uma sub-classe de GUIActiveArea
(subclass ComputerTouchscreenKeyboard GUIActiveArea) ComputerInput.kif 883-883 ComputerTouchscreenKeyboard e' uma sub-classe de GUIActiveArea
(subclass ComputerTouchscreenKeypad GUIActiveArea) ComputerInput.kif 882-882 ComputerTouchscreenKeypad e' uma sub-classe de GUIActiveArea
(subclass GUIButton GUIActiveArea) ComputerInput.kif 928-928 GUIButton e' uma sub-classe de GUIActiveArea
(subclass GUICheckBox GUIActiveArea) ComputerInput.kif 1116-1116 GUICheckBox e' uma sub-classe de GUIActiveArea
(subclass GUISlider GUIActiveArea) ComputerInput.kif 1024-1024 GUISlider e' uma sub-classe de GUIActiveArea
(subclass GUISliderIndicator GUIActiveArea) ComputerInput.kif 1036-1036 GUISliderIndicator e' uma sub-classe de GUIActiveArea
(subclass GUI_Link GUIActiveArea) ComputerInput.kif 1161-1161 GUI_Link e' uma sub-classe de GUIActiveArea
(subclass GraphicalComputerMenu GUIActiveArea) ComputerInput.kif 886-886 GraphicalComputerMenu e' uma sub-classe de GUIActiveArea
(subclass GraphicalMenuItem GUIActiveArea) ComputerInput.kif 1144-1144 GraphicalMenuItem e' uma sub-classe de GUIActiveArea
(subclass HoverBoxActiveArea GUIActiveArea) ComputerInput.kif 1096-1096 HoverBoxActiveArea e' uma sub-classe de GUIActiveArea
(subclass ScrollBar GUIActiveArea) ComputerInput.kif 946-946 ScrollBar e' uma sub-classe de GUIActiveArea
(subclass ScrollBarBar GUIActiveArea) ComputerInput.kif 971-971 ScrollBarBar e' uma sub-classe de GUIActiveArea
(subclass TextInputBox GUIActiveArea) ComputerInput.kif 1107-1107 TextInputBox e' uma sub-classe de GUIActiveArea
(termFormat EnglishLanguage GUIActiveArea "GUI active area") domainEnglishFormat.kif 64917-64917

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


(=>
    (and
        (instance ?SELECT SelectingActiveArea)
        (patient ?SELECT ?ELEMENT)
        (instance ?ELEMENT GUIActiveArea))
    (holdsDuring
        (BeginFn ?SELECT)
        (not
            (hasGUEState ?ELEMENT GUE_SelectedState))))		 ComputerInput.kif 2203-2210
(=>
    (and
        (instance ?SELECT SelectingActiveArea)
        (patient ?SELECT ?ELEMENT)
        (instance ?ELEMENT GUIActiveArea))
    (holdsDuring
        (EndFn ?SELECT)
        (hasGUEState ?ELEMENT GUE_SelectedState)))		 ComputerInput.kif 2215-2222

consequent
-------------------------


(=>
    (instance ?ACT DraggingWithCursor)
    (exists (?GUIE)
        (and
            (patient ?ACT ?GUIE)
            (instance ?GUIE GUIActiveArea)
            (not
                (instance ?GUIE Cursor)))))		 ComputerInput.kif 1762-1768
(=>
    (instance ?ACT UserSignifiedGraphicalAction)
    (exists (?GUIE)
        (and
            (patient ?ACT ?GUIE)
            (instance ?GUIE GUIActiveArea))))		 ComputerInput.kif 1709-1714
(=>
    (instance ?SELECT SelectingActiveArea)
    (exists (?ELEMENT)
        (and
            (instance ?ELEMENT GUIActiveArea)
            (holdsDuring
                (BeginFn ?SELECT)
                (hasGUEState ?ELEMENT GUE_ActiveState))
            (patient ?SELECT ?ELEMENT))))		 ComputerInput.kif 2190-2198


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