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 878-879
(subclass GUIActiveArea GUIElement) ComputerInput.kif 877-877 GUIActiveArea is a subclass of GUIElement

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


(disjoint MouseCursor GUIActiveArea) ComputerInput.kif 1063-1063 MouseCursor is disjoint from GUIActiveArea
(subclass ComputerMenuItem GUIActiveArea) ComputerInput.kif 1127-1127 ComputerMenuItem is a subclass of GUIActiveArea
(subclass ComputerTouchscreenKeyboard GUIActiveArea) ComputerInput.kif 882-882 ComputerTouchscreenKeyboard is a subclass of GUIActiveArea
(subclass ComputerTouchscreenKeypad GUIActiveArea) ComputerInput.kif 881-881 ComputerTouchscreenKeypad is a subclass of GUIActiveArea
(subclass GUIButton GUIActiveArea) ComputerInput.kif 927-927 GUIButton is a subclass of GUIActiveArea
(subclass GUICheckBox GUIActiveArea) ComputerInput.kif 1115-1115 GUICheckBox is a subclass of GUIActiveArea
(subclass GUISlider GUIActiveArea) ComputerInput.kif 1023-1023 GUISlider is a subclass of GUIActiveArea
(subclass GUISliderIndicator GUIActiveArea) ComputerInput.kif 1035-1035 GUISliderIndicator is a subclass of GUIActiveArea
(subclass GUI_Link GUIActiveArea) ComputerInput.kif 1159-1159 GUI_Link is a subclass of GUIActiveArea
(subclass GraphicalComputerMenu GUIActiveArea) ComputerInput.kif 885-885 GraphicalComputerMenu is a subclass of GUIActiveArea
(subclass GraphicalMenuItem GUIActiveArea) ComputerInput.kif 1142-1142 GraphicalMenuItem is a subclass of GUIActiveArea
(subclass HoverBoxActiveArea GUIActiveArea) ComputerInput.kif 1095-1095 HoverBoxActiveArea is a subclass of GUIActiveArea
(subclass ScrollBar GUIActiveArea) ComputerInput.kif 945-945 ScrollBar is a subclass of GUIActiveArea
(subclass ScrollBarBar GUIActiveArea) ComputerInput.kif 970-970 ScrollBarBar is a subclass of GUIActiveArea
(subclass TextInputBox GUIActiveArea) ComputerInput.kif 1106-1106 TextInputBox is a subclass of GUIActiveArea

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


(=>
    (and
        (instance ?SELECT SelectingActiveArea)
        (patient ?SELECT ?ELEMENT)
        (instance ?ELEMENT GUIActiveArea))
    (holdsDuring
        (BeginFn ?SELECT)
        (not
            (hasGUEState ?ELEMENT GUE_SelectedState))))
ComputerInput.kif 2200-2207
(=>
    (and
        (instance ?SELECT SelectingActiveArea)
        (patient ?SELECT ?ELEMENT)
        (instance ?ELEMENT GUIActiveArea))
    (holdsDuring
        (EndFn ?SELECT)
        (hasGUEState ?ELEMENT GUE_SelectedState)))
ComputerInput.kif 2212-2219

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


(=>
    (instance ?ACT DraggingWithCursor)
    (exists (?GUIE)
        (and
            (patient ?ACT ?GUIE)
            (instance ?GUIE GUIActiveArea)
            (not
                (instance ?GUIE Cursor)))))
ComputerInput.kif 1759-1765
(=>
    (instance ?ACT UserSignifiedGraphicalAction)
    (exists (?GUIE)
        (and
            (patient ?ACT ?GUIE)
            (instance ?GUIE GUIActiveArea))))
ComputerInput.kif 1706-1711
(=>
    (instance ?SELECT SelectingActiveArea)
    (exists (?ELEMENT)
        (and
            (instance ?ELEMENT GUIActiveArea)
            (holdsDuring
                (BeginFn ?SELECT)
                (hasGUEState ?ELEMENT GUE_ActiveState))
            (patient ?SELECT ?ELEMENT))))
ComputerInput.kif 2187-2195


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