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


KB Term:  Term intersection
English Word: 

  GUIActiveArea

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