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

Formal Language: 



KB Term:  Term intersection
English Word: 

  GUIActiveArea

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

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


(classIntersection ComputerMenuItem GUIActiveArea GraphicalMenuItem) ComputerInput.kif 1172-1172
(disjoint MouseCursor GUIActiveArea) ComputerInput.kif 1092-1092
(subclass ComputerMenuItem GUIActiveArea) ComputerInput.kif 1156-1156
(subclass ComputerTouchscreenKeyboard GUIActiveArea) ComputerInput.kif 911-911
(subclass ComputerTouchscreenKeypad GUIActiveArea) ComputerInput.kif 910-910
(subclass GUIButton GUIActiveArea) ComputerInput.kif 956-956
(subclass GUICheckBox GUIActiveArea) ComputerInput.kif 1144-1144
(subclass GUISlider GUIActiveArea) ComputerInput.kif 1052-1052
(subclass GUISliderIndicator GUIActiveArea) ComputerInput.kif 1064-1064
(subclass GUI_Link GUIActiveArea) ComputerInput.kif 1189-1189
(subclass GraphicalComputerMenu GUIActiveArea) ComputerInput.kif 914-914
(subclass GraphicalMenuItem GUIActiveArea) ComputerInput.kif 1171-1171
(subclass HoverBoxActiveArea GUIActiveArea) ComputerInput.kif 1124-1124
(subclass ScrollBar GUIActiveArea) ComputerInput.kif 974-974
(subclass ScrollBarBar GUIActiveArea) ComputerInput.kif 999-999
(subclass TextInputBox GUIActiveArea) ComputerInput.kif 1135-1135

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


(=>
    (and
        (instance ?SELECT SelectingActiveArea)
        (patient ?SELECT ?ELEMENT)
        (instance ?ELEMENT GUIActiveArea))
    (holdsDuring
        (BeginFn ?SELECT)
        (not
            (hasGUEState ?ELEMENT GUE_SelectedState))))
ComputerInput.kif 2232-2239
(=>
    (and
        (instance ?SELECT SelectingActiveArea)
        (patient ?SELECT ?ELEMENT)
        (instance ?ELEMENT GUIActiveArea))
    (holdsDuring
        (EndFn ?SELECT)
        (hasGUEState ?ELEMENT GUE_SelectedState)))
ComputerInput.kif 2244-2251

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


(=>
    (instance ?ACT DraggingWithCursor)
    (exists (?GUIE)
        (and
            (patient ?ACT ?GUIE)
            (instance ?GUIE GUIActiveArea)
            (not
                (instance ?GUIE Cursor)))))
ComputerInput.kif 1791-1797
(=>
    (instance ?ACT UserSignifiedGraphicalAction)
    (exists (?GUIE)
        (and
            (patient ?ACT ?GUIE)
            (instance ?GUIE GUIActiveArea))))
ComputerInput.kif 1738-1743
(=>
    (instance ?SELECT SelectingActiveArea)
    (exists (?ELEMENT)
        (and
            (instance ?ELEMENT GUIActiveArea)
            (holdsDuring
                (BeginFn ?SELECT)
                (hasGUEState ?ELEMENT GUE_ActiveState))
            (patient ?SELECT ?ELEMENT))))
ComputerInput.kif 2219-2227


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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