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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - GUIActiveArea
GUIActiveArea(GUI active area)

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 GUI active area is a subclass of GUI element

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


(disjoint MouseCursor GUIActiveArea) ComputerInput.kif 1064-1064 Mouse cursor is disjoint from GUI active area
(subclass ComputerMenuItem GUIActiveArea) ComputerInput.kif 1128-1128 Computer menu item is a subclass of GUI active area
(subclass ComputerTouchscreenKeyboard GUIActiveArea) ComputerInput.kif 883-883 Computer touchscreen keyboard is a subclass of GUI active area
(subclass ComputerTouchscreenKeypad GUIActiveArea) ComputerInput.kif 882-882 Computer touchscreen keypad is a subclass of GUI active area
(subclass GUIButton GUIActiveArea) ComputerInput.kif 928-928 GUI button is a subclass of GUI active area
(subclass GUICheckBox GUIActiveArea) ComputerInput.kif 1116-1116 GUI check box is a subclass of GUI active area
(subclass GUISlider GUIActiveArea) ComputerInput.kif 1024-1024 GUI slider is a subclass of GUI active area
(subclass GUISliderIndicator GUIActiveArea) ComputerInput.kif 1036-1036 GUI slider indicator is a subclass of GUI active area
(subclass GUI_Link GUIActiveArea) ComputerInput.kif 1161-1161 GUI_ link is a subclass of GUI active area
(subclass GraphicalComputerMenu GUIActiveArea) ComputerInput.kif 886-886 Graphical computer menu is a subclass of GUI active area
(subclass GraphicalMenuItem GUIActiveArea) ComputerInput.kif 1144-1144 Graphical menu item is a subclass of GUI active area
(subclass HoverBoxActiveArea GUIActiveArea) ComputerInput.kif 1096-1096 Hover box active area is a subclass of GUI active area
(subclass ScrollBar GUIActiveArea) ComputerInput.kif 946-946 Scroll bar is a subclass of GUI active area
(subclass ScrollBarBar GUIActiveArea) ComputerInput.kif 971-971 Scroll bar bar is a subclass of GUI active area
(subclass TextInputBox GUIActiveArea) ComputerInput.kif 1107-1107 Text input box is a subclass of GUI active area
(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