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


KB Term:  Term intersection
English Word: 

  InterfaceWindow

 Sigma KEE - InterfaceWindow
InterfaceWindow(interface window)window

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


(subclass InterfaceWindow GUIElement) ComputerInput.kif 1091-1091 Interface window is a subclass of GUI element
(documentation InterfaceWindow EnglishLanguage "An InterfaceWindow is a GUIElement that covers a (normally rectangular region of a computer screen. Each window has an image which covers its whole area and a level of transparency. A region of the screen may be covered by one or more InterfaceWindows in a specified order with the ``top'' window visible, and those sequentially underneigth visible only to the extent that the window(s) above them are partially or wholely transparent. An interface window is ``active'' if the state of the GUI is such that user input is automatically set to it.") ComputerInput.kif 1092-1097 Interface window is a subclass of GUI element

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


(disjoint Cursor InterfaceWindow) ComputerInput.kif 1098-1098 Cursor is disjoint from interface window
(subclass PopupWindow InterfaceWindow) ComputerInput.kif 1100-1100 Popup window is a subclass of interface window
(termFormat EnglishLanguage InterfaceWindow "interface window") domainEnglishFormat.kif 65037-65037 Popup window is a subclass of interface window

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


(=>
    (and
        (instance ?WINDOW1 InterfaceWindow)
        (instance ?WINDOW2 InterfaceWindow)
        (screenOfGUIE ?WINDOW1 ?SCREEN)
        (screenOfGUIE ?WINDOW2 ?SCREEN)
        (hasGUEState ?WINDOW1 GUE_ActiveState)
        (hasGUEState ?WINDOW1 GUE_ActiveState))
    (equal ?WINDOW1 ?WINDOW2))		 ComputerInput.kif 1912-1920 If All of the following hold: (1) X is an instance of interface window (2) Y is an instance of interface window (3) X is displayed on Z (4) Y is displayed on Z (5) X has state GUE active state (6) X has state GUE active state, then equal X and Y
(=>
    (and
        (instance ?WINDOW InterfaceWindow)
        (instance ?GUIE GUIElement)
        (screenOfGUIE ?WINDOW ?SCREEN)
        (screenOfGUIE ?GUIE ?SCREEN)
        (not
            (instance ?GUIE InterfaceWindow))
        (hasGUEState ?WINDOW GUE_ActiveState)
        (hasGUEState ?GUIE GUE_ActiveState))
    (properPart ?GUIE ?WINDOW))		 ComputerInput.kif 1936-1945 If All of the following hold: (1) X is an instance of interface window (2) Y is an instance of GUI element (3) X is displayed on Z (4) Y is displayed on Z (5) Y is not an instance of interface window (6) X has state GUE active state (7) Y has state GUE active state, then Y is a proper part of X
(=>
    (and
        (instance ?GUIE1 GUIElement)
        (instance ?GUIE2 GUIElement)
        (not
            (instance ?GUIE1 InterfaceWindow))
        (not
            (instance ?GUIE2 InterfaceWindow))
        (screenOfGUIE ?GUIE1 ?SCREEN)
        (screenOfGUIE ?GUIE2 ?SCREEN)
        (hasGUEState ?GUIE1 GUE_ActiveState)
        (hasGUEState ?GUIE2 GUE_ActiveState))
    (or
        (properPart ?GUIE1 ?GUIE2)
        (properPart ?GUIE2 ?GUIE1)
        (equal ?GUIE1 ?GUIE2)))		 ComputerInput.kif 1951-1964 If All of the following hold: (1) X is an instance of GUI element (2) Y is an instance of GUI element (3) X is not an instance of interface window (4) Y is not an instance of interface window (5) X is displayed on Z (6) Y is displayed on Z (7) X has state GUE active state (8) Y has state GUE active state, then At least one of the following holds: (1) X is a proper part of Y (2) Y is a proper part of X (3) equal X and Y
(=>
    (and
        (instance ?WINDOW_A InterfaceWindow)
        (instance ?WINDOW_P InterfaceWindow)
        (screenOfGUIE ?WINDOW_A ?SCREEN)
        (screenOfGUIE ?WINDOW_P ?SCREEN)
        (hasGUEState ?WINDOW_A GUE_ActiveState)
        (not
            (equal ?WINDOW_A ?WINDOW_P)))
    (hasGUEState ?WINDOW_P GUE_PassiveState))		 ComputerInput.kif 1980-1988 If All of the following hold: (1) ?WINDOW_A is an instance of interface window (2) ?WINDOW_P is an instance of interface window (3) ?WINDOW_A is displayed on Y (4) ?WINDOW_P is displayed on Y (5) ?WINDOW_A has state GUE active state (6) equal ?WINDOW_A and ?WINDOW_P, then ?WINDOW_P has state GUE passive state
(=>
    (and
        (hasGUEState ?WIN1 GUE_UncoveredState)
        (hasGUEState ?WIN1 GUE_MaximizedWindowState)
        (screenOfGUIE ?WIN1 ?SCREEN)
        (instance ?WIN2 InterfaceWindow)
        (screenOfGUIE ?WIN2 ?SCREEN)
        (not
            (equal ?WIN1 ?WIN2)))
    (or
        (hasGUEState ?WIN2 GUE_CoveredState)
        (hasGUEState ?WIN2 GUE_PartiallyCoveredState)
        (hasGUEState ?WIN2 GUE_OffscreenState)))		 ComputerInput.kif 2136-2147 If All of the following hold: (1) X has state GUE uncovered state (2) X has state GUE maximized window state (3) X is displayed on Y (4) Z is an instance of interface window (5) Z is displayed on Y (6) equal X and Z, then At least one of the following holds: (1) Z has state GUE covered state (2) Z has state GUE partially covered state (3) Z has state GUE offscreen state
(=>
    (and
        (instance ?ACT BringingGEToFront)
        (patient ?ACT ?WINDOW)
        (instance ?WINDOW InterfaceWindow)
        (holdsDuring
            (BeginFn ?ACT)
            (hasGUEState ?WINDOW ?STATE))
        (contraryAttribute ?STATE GUE_UncoveredState))
    (holdsDuring
        (EndFn ?ACT)
        (not
            (hasGUEState ?WINDOW ?STATE))))		 ComputerInput.kif 2348-2359 If X is an instance of bringing GE to front, Y is a patient of X, Y is an instance of interface window, Y has state Z holds during the beginning of X, and Z is the opposite of GUE uncovered state, then Y has state Z holds during the end of X
(=>
    (and
        (instance ?ACT BringingGEToFront)
        (patient ?ACT ?WINDOW)
        (instance ?WINDOW InterfaceWindow))
    (holdsDuring
        (EndFn ?ACT)
        (hasGUEState ?WINDOW GUE_UncoveredState)))		 ComputerInput.kif 2363-2370 If X is an instance of bringing GE to front, Y is a patient of X, and Y is an instance of interface window, then Y has state GUE uncovered state holds during the end of X
(=>
    (and
        (instance ?OPEN ReopeningGraphicalWindow)
        (patient ?OPEN ?WINDOW)
        (instance ?WINDOW InterfaceWindow))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?OPEN))
            (hasGUEState ?WINDOW GUE_MinimizedState))
        (holdsDuring
            (EndFn
                (WhenFn ?OPEN))
            (not
                (hasGUEState ?WINDOW GUE_MinimizedState)))))		 ComputerInput.kif 2405-2414 If X is an instance of reopening graphical window, Y is a patient of X, and Y is an instance of interface window, then Y has state GUE minimized state holds during the beginning of the time of existence of X and Y has state GUE minimized state holds during the end of the time of existence of X
(=>
    (and
        (instance ?UNCOVER UncoveringGraphicalWindow)
        (patient ?UNCOVER ?WINDOW)
        (instance ?WINDOW InterfaceWindow))
    (guiElementUncovered ?UNCOVER ?WINDOW))		 ComputerInput.kif 2432-2437 If X is an instance of uncovering graphical window, Y is a patient of X, and Y is an instance of interface window, then X uncovers Y
(=>
    (and
        (instance ?UNCOVER UncoveringGraphicalWindow)
        (patient ?UNCOVER ?WINDOW)
        (instance ?WINDOW InterfaceWindow)
        (properPart ?CURSOR ?WINDOW)
        (instance ?CURSOR Cursor))
    (guiElementUncovered ?UNCOVER ?WINDOW))		 ComputerInput.kif 2439-2446 If X is an instance of uncovering graphical window, Y is a patient of X, Y is an instance of interface window, Z is a proper part of Y, and Z is an instance of cursor, then X uncovers Y
(=>
    (and
        (instance ?OPEN MinimizingGraphicalWindow)
        (patient ?OPEN ?WINDOW)
        (instance ?WINDOW InterfaceWindow))
    (and
        (holdsDuring
            (EndFn
                (WhenFn ?OPEN))
            (hasGUEState ?WINDOW GUE_MinimizedState))
        (holdsDuring
            (BeginFn
                (WhenFn ?OPEN))
            (not
                (hasGUEState ?WINDOW GUE_MinimizedState)))))		 ComputerInput.kif 2467-2476 If X is an instance of minimizing graphical window, Y is a patient of X, and Y is an instance of interface window, then Y has state GUE minimized state holds during the end of the time of existence of X and Y has state GUE minimized state holds during the beginning of the time of existence of X
(=>
    (and
        (instance ?OPEN MaximizingGraphicalWindow)
        (patient ?OPEN ?WINDOW)
        (instance ?WINDOW InterfaceWindow))
    (and
        (holdsDuring
            (EndFn
                (WhenFn ?OPEN))
            (hasGUEState ?WINDOW GUE_MaximizedWindowState))
        (holdsDuring
            (BeginFn
                (WhenFn ?OPEN))
            (not
                (hasGUEState ?WINDOW GUE_MaximizedWindowState)))))		 ComputerInput.kif 2485-2494 If X is an instance of maximizing graphical window, Y is a patient of X, and Y is an instance of interface window, then Y has state GUE maximized window state holds during the end of the time of existence of X and Y has state GUE maximized window state holds during the beginning of the time of existence of X
(=>
    (and
        (instance ?UNMAX UnmaximizingGraphicalWindow)
        (patient ?UNMAX ?WINDOW)
        (instance ?WINDOW InterfaceWindow))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?UNMAX))
            (hasGUEState ?WINDOW GUE_MaximizedWindowState))
        (holdsDuring
            (EndFn
                (WhenFn ?UNMAX))
            (not
                (hasGUEState ?WINDOW GUE_MaximizedWindowState)))))		 ComputerInput.kif 2502-2511 If X is an instance of unmaximizing graphical window, Y is a patient of X, and Y is an instance of interface window, then Y has state GUE maximized window state holds during the beginning of the time of existence of X and Y has state GUE maximized window state holds during the end of the time of existence of X

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


(=>
    (instance ?ACT WindowScrolling)
    (exists (?GUIE)
        (and
            (patient ?ACT ?GUIE)
            (instance ?GUIE InterfaceWindow))))		 ComputerInput.kif 1792-1797 If X is an instance of window scrolling, then there exists Y such that Y is a patient of X and Y is an instance of interface window
(=>
    (instance ?SCROLL WindowScrollingByUser)
    (exists (?WINDOW)
        (and
            (patient ?SCROLL ?WINDOW)
            (instance ?WINDOW InterfaceWindow)
            (hasGUEState ?WINDOW GUE_ActiveState))))		 ComputerInput.kif 1813-1819 If X is an instance of window scrolling by user, then there exists Y such that Y is a patient of X, Y is an instance of interface window, and Y has state GUE active state
(=>
    (hasGUEState ?GUIE GUE_MaximizedWindowState)
    (instance ?GUIE InterfaceWindow))		 ComputerInput.kif 2067-2069 If X has state GUE maximized window state, then X is an instance of interface window
(=>
    (hasGUEState ?GUIE GUE_VerticallyMaximizedWindowState)
    (instance ?GUIE InterfaceWindow))		 ComputerInput.kif 2081-2083 If X has state GUE vertically maximized window state, then X is an instance of interface window
(=>
    (and
        (instance ?OPEN OpeningGraphicalWindow)
        (patient ?OPEN ?WINDOW))
    (instance ?WINDOW InterfaceWindow))		 ComputerInput.kif 2377-2381 If X is an instance of opening graphical window and Y is a patient of X, then Y is an instance of interface window
(=>
    (instance ?OPEN OpeningNewGraphicalWindow)
    (exists (?WINDOW)
        (and
            (patient ?OPEN ?WINDOW)
            (instance ?WINDOW InterfaceWindow)
            (time ?WINDOW
                (EndFn
                    (WhenFn ?OPEN)))
            (not
                (time ?WINDOW
                    (BeginFn
                        (WhenFn ?OPEN)))))))		 ComputerInput.kif 2389-2396 If X is an instance of opening new graphical window, then there exists Y such that Y is a patient of X, Y is an instance of interface window, Y exists during the end of the time of existence of X, and Y doesn't exist during the beginning of the time of existence of X
(=>
    (instance ?UNCOVER UncoveringGraphicalWindow)
    (exists (?WINDOW)
        (and
            (patient ?UNCOVER ?WINDOW)
            (instance ?WINDOW InterfaceWindow))))		 ComputerInput.kif 2423-2428 If X is an instance of uncovering graphical window, then there exists Y such that Y is a patient of X and Y is an instance of interface window
(=>
    (and
        (instance ?CLOSE ClosingGraphicalWindow)
        (patient ?CLOSE ?WINDOW))
    (and
        (instance ?WINDOW InterfaceWindow)
        (time ?WINDOW
            (BeginFn
                (WhenFn ?OPEN)))
        (not
            (time ?WINDOW
                (EndFn
                    (WhenFn ?OPEN))))))		 ComputerInput.kif 2454-2461 If X is an instance of closing graphical window and Y is a patient of X, then Y is an instance of interface window, Y exists during the beginning of the time of existence of Z, and Y doesn't exist during the end of the time of existence of Z

statement
-------------------------


(not
    (and
        (hasGUEState ?WINDOW GUE_NonVisibleState)
        (hasGUEState ?WINDOW GUE_ActiveState)
        (instance ?WINDOW InterfaceWindow)))		 ComputerInput.kif 2027-2031 At least one of the following holds: (1) ~{ X has state GUE non visible state } (2) ~{ X has state GUE active state } (3) ~{ X is an instance of interface window }


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