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 907-908
(subclass GUIActiveArea GUIElement) ComputerInput.kif 906-906 GUIActiveArea is a subclass of GUIElement

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


(classIntersection ComputerMenuItem GUIActiveArea GraphicalMenuItem) ComputerInput.kif 1172-1172 The intersection of ComputerMenuItem and GUIActiveArea is GraphicalMenuItem
(disjoint MouseCursor GUIActiveArea) ComputerInput.kif 1092-1092 MouseCursor is disjoint from GUIActiveArea
(subclass ComputerMenuItem GUIActiveArea) ComputerInput.kif 1156-1156 ComputerMenuItem is a subclass of GUIActiveArea
(subclass ComputerTouchscreenKeyboard GUIActiveArea) ComputerInput.kif 911-911 ComputerTouchscreenKeyboard is a subclass of GUIActiveArea
(subclass ComputerTouchscreenKeypad GUIActiveArea) ComputerInput.kif 910-910 ComputerTouchscreenKeypad is a subclass of GUIActiveArea
(subclass GUIButton GUIActiveArea) ComputerInput.kif 956-956 GUIButton is a subclass of GUIActiveArea
(subclass GUICheckBox GUIActiveArea) ComputerInput.kif 1144-1144 GUICheckBox is a subclass of GUIActiveArea
(subclass GUISlider GUIActiveArea) ComputerInput.kif 1052-1052 GUISlider is a subclass of GUIActiveArea
(subclass GUISliderIndicator GUIActiveArea) ComputerInput.kif 1064-1064 GUISliderIndicator is a subclass of GUIActiveArea
(subclass GUI_Link GUIActiveArea) ComputerInput.kif 1189-1189 GUI_Link is a subclass of GUIActiveArea
(subclass GraphicalComputerMenu GUIActiveArea) ComputerInput.kif 914-914 GraphicalComputerMenu is a subclass of GUIActiveArea
(subclass GraphicalMenuItem GUIActiveArea) ComputerInput.kif 1171-1171 GraphicalMenuItem is a subclass of GUIActiveArea
(subclass HoverBoxActiveArea GUIActiveArea) ComputerInput.kif 1124-1124 HoverBoxActiveArea is a subclass of GUIActiveArea
(subclass ScrollBar GUIActiveArea) ComputerInput.kif 974-974 ScrollBar is a subclass of GUIActiveArea
(subclass ScrollBarBar GUIActiveArea) ComputerInput.kif 999-999 ScrollBarBar is a subclass of GUIActiveArea
(subclass TextInputBox GUIActiveArea) ComputerInput.kif 1135-1135 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 2218-2225
(=>
    (and
        (instance ?SELECT SelectingActiveArea)
        (patient ?SELECT ?ELEMENT)
        (instance ?ELEMENT GUIActiveArea))
    (holdsDuring
        (EndFn ?SELECT)
        (hasGUEState ?ELEMENT GUE_SelectedState)))
ComputerInput.kif 2230-2237

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


(=>
    (instance ?ACT DraggingWithCursor)
    (exists (?GUIE)
        (and
            (patient ?ACT ?GUIE)
            (instance ?GUIE GUIActiveArea)
            (not
                (instance ?GUIE Cursor)))))
ComputerInput.kif 1777-1783
(=>
    (instance ?ACT UserSignifiedGraphicalAction)
    (exists (?GUIE)
        (and
            (patient ?ACT ?GUIE)
            (instance ?GUIE GUIActiveArea))))
ComputerInput.kif 1724-1729
(=>
    (instance ?SELECT SelectingActiveArea)
    (exists (?ELEMENT)
        (and
            (instance ?ELEMENT GUIActiveArea)
            (holdsDuring
                (BeginFn ?SELECT)
                (hasGUEState ?ELEMENT GUE_ActiveState))
            (patient ?SELECT ?ELEMENT))))
ComputerInput.kif 2205-2213


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