Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - GUIActiveArea
GUIActiveArea(GUI active area)

appearance as argument number 1
-------------------------


(subclass GUIActiveArea GUIElement) ComputerInput.kif 894-894 GUI active area is a subclass of GUI element
(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 895-896 GUI active area is a subclass of GUI element

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


(subclass ComputerTouchscreenKeypad GUIActiveArea) ComputerInput.kif 898-898 Computer touchscreen keypad is a subclass of GUI active area
(subclass ComputerTouchscreenKeyboard GUIActiveArea) ComputerInput.kif 899-899 Computer touchscreen keyboard is a subclass of GUI active area
(subclass GraphicalComputerMenu GUIActiveArea) ComputerInput.kif 902-902 Graphical computer menu is a subclass of GUI active area
(subclass GUIButton GUIActiveArea) ComputerInput.kif 944-944 GUI button is a subclass of GUI active area
(subclass ScrollBar GUIActiveArea) ComputerInput.kif 962-962 Scroll bar is a subclass of GUI active area
(subclass ScrollBarBar GUIActiveArea) ComputerInput.kif 987-987 Scroll bar bar is a subclass of GUI active area
(subclass GUISlider GUIActiveArea) ComputerInput.kif 1040-1040 GUI slider is a subclass of GUI active area
(subclass GUISliderIndicator GUIActiveArea) ComputerInput.kif 1052-1052 GUI slider indicator is a subclass of GUI active area
(disjoint MouseCursor GUIActiveArea) ComputerInput.kif 1080-1080 Mouse cursor is disjoint from GUI active area
(subclass HoverBoxActiveArea GUIActiveArea) ComputerInput.kif 1112-1112 Hover box active area is a subclass of GUI active area
(subclass TextInputBox GUIActiveArea) ComputerInput.kif 1123-1123 Text input box is a subclass of GUI active area
(subclass GUICheckBox GUIActiveArea) ComputerInput.kif 1132-1132 GUI check box is a subclass of GUI active area
(subclass ComputerMenuItem GUIActiveArea) ComputerInput.kif 1144-1144 Computer menu item is a subclass of GUI active area
(subclass GraphicalMenuItem GUIActiveArea) ComputerInput.kif 1160-1160 Graphical menu item is a subclass of GUI active area
(subclass GUI_Link GUIActiveArea) ComputerInput.kif 1177-1177 GUI_ link is a subclass of GUI active area
(termFormat EnglishLanguage GUIActiveArea "GUI active area") domainEnglishFormat.kif 64920-64920 GUI_ link is a subclass of GUI active area

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


(=>
    (and
        (instance ?SELECT SelectingActiveArea)
        (patient ?SELECT ?ELEMENT)
        (instance ?ELEMENT GUIActiveArea))
    (holdsDuring
        (BeginFn ?SELECT)
        (not
            (hasGUEState ?ELEMENT GUE_SelectedState))))		 ComputerInput.kif 2219-2226 If X is an instance of selecting active area, Y is a patient of X, and Y is an instance of GUI active area, then Y has state GUE selected state holds during the beginning of X
(=>
    (and
        (instance ?SELECT SelectingActiveArea)
        (patient ?SELECT ?ELEMENT)
        (instance ?ELEMENT GUIActiveArea))
    (holdsDuring
        (EndFn ?SELECT)
        (hasGUEState ?ELEMENT GUE_SelectedState)))		 ComputerInput.kif 2231-2238 If X is an instance of selecting active area, Y is a patient of X, and Y is an instance of GUI active area, then Y has state GUE selected state holds during the end of X

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


(=>
    (instance ?ACT UserSignifiedGraphicalAction)
    (exists (?GUIE)
        (and
            (patient ?ACT ?GUIE)
            (instance ?GUIE GUIActiveArea))))		 ComputerInput.kif 1725-1730 If X is an instance of user signified graphical action, then there exists Y such that Y is a patient of X and Y is an instance of GUI active area
(=>
    (instance ?ACT DraggingWithCursor)
    (exists (?GUIE)
        (and
            (patient ?ACT ?GUIE)
            (instance ?GUIE GUIActiveArea)
            (not
                (instance ?GUIE Cursor)))))		 ComputerInput.kif 1778-1784 If X is an instance of dragging with cursor, then there exists Y such that Y is a patient of X, Y is an instance of GUI active area, and Y is not an instance of cursor
(=>
    (instance ?SELECT SelectingActiveArea)
    (exists (?ELEMENT)
        (and
            (instance ?ELEMENT GUIActiveArea)
            (holdsDuring
                (BeginFn ?SELECT)
                (hasGUEState ?ELEMENT GUE_ActiveState))
            (patient ?SELECT ?ELEMENT))))		 ComputerInput.kif 2206-2214 If X is an instance of selecting active area, then there exists Y such that Y is an instance of GUI active area, Y has state GUE active state holds during the beginning of X, and Y is a patient of X


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners