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 788-788
(subclass GUIActiveArea GUIElement) ComputerInput.kif 787-787 subclass GUIActiveArea and GUIElement

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


(classIntersection ComputerMenuItem GUIActiveArea GraphicalMenuItem) ComputerInput.kif 973-973 classIntersection ComputerMenuItem, GUIActiveArea and GraphicalMenuItem
(disjoint MouseCursor GUIActiveArea) ComputerInput.kif 917-917 disjoint MouseCursor and GUIActiveArea
(subclass ComputerMenuItem GUIActiveArea) ComputerInput.kif 961-961 subclass ComputerMenuItem and GUIActiveArea
(subclass ComputerTouchscreenKeyboard GUIActiveArea) ComputerInput.kif 791-791 subclass ComputerTouchscreenKeyboard and GUIActiveArea
(subclass ComputerTouchscreenKeypad GUIActiveArea) ComputerInput.kif 790-790 subclass ComputerTouchscreenKeypad and GUIActiveArea
(subclass GUIButton GUIActiveArea) ComputerInput.kif 827-827 subclass GUIButton and GUIActiveArea
(subclass GUICheckBox GUIActiveArea) ComputerInput.kif 957-957 subclass GUICheckBox and GUIActiveArea
(subclass GUISlider GUIActiveArea) ComputerInput.kif 890-890 subclass GUISlider and GUIActiveArea
(subclass GUISliderIndicator GUIActiveArea) ComputerInput.kif 900-900 subclass GUISliderIndicator and GUIActiveArea
(subclass GUI_Link GUIActiveArea) ComputerInput.kif 988-988 subclass GUI_Link and GUIActiveArea
(subclass GraphicalComputerMenu GUIActiveArea) ComputerInput.kif 794-794 subclass GraphicalComputerMenu and GUIActiveArea
(subclass GraphicalMenuItem GUIActiveArea) ComputerInput.kif 972-972 subclass GraphicalMenuItem and GUIActiveArea
(subclass HoverBoxActiveArea GUIActiveArea) ComputerInput.kif 939-939 subclass HoverBoxActiveArea and GUIActiveArea
(subclass ScrollBar GUIActiveArea) ComputerInput.kif 838-838 subclass ScrollBar and GUIActiveArea
(subclass ScrollBarBar GUIActiveArea) ComputerInput.kif 854-854 subclass ScrollBarBar and GUIActiveArea
(subclass TextInputBox GUIActiveArea) ComputerInput.kif 948-948 subclass TextInputBox and GUIActiveArea

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


(=>
    (and
        (instance ?SELECT SelectingActiveArea)
        (patient ?SELECT ?ELEMENT)
        (instance ?ELEMENT GUIActiveArea))
    (holdsDuring
        (BeginFn ?SELECT)
        (not
            (hasGUEState ?ELEMENT GUE_SelectedState))))
ComputerInput.kif 1922-1929
(=>
    (and
        (instance ?SELECT SelectingActiveArea)
        (patient ?SELECT ?ELEMENT)
        (instance ?ELEMENT GUIActiveArea))
    (holdsDuring
        (EndFn ?SELECT)
        (hasGUEState ?ELEMENT GUE_SelectedState)))
ComputerInput.kif 1934-1941

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


(=>
    (instance ?ACT DraggingWithCursor)
    (exists (?GUIE)
        (and
            (patient ?ACT ?GUIE)
            (instance ?GUIE GUIActiveArea)
            (not
                (instance ?GUIE Cursor)))))
ComputerInput.kif 1544-1550
(=>
    (instance ?ACT UserSignifiedGraphicalAction)
    (exists (?GUIE)
        (and
            (patient ?ACT ?GUIE)
            (instance ?GUIE GUIActiveArea))))
ComputerInput.kif 1498-1503
(=>
    (instance ?SELECT SelectingActiveArea)
    (exists (?ELEMENT)
        (and
            (instance ?ELEMENT GUIActiveArea)
            (holdsDuring
                (BeginFn ?SELECT)
                (hasGUEState ?ELEMENT GUE_ActiveState))
            (patient ?SELECT ?ELEMENT))))
ComputerInput.kif 1909-1917


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners