(=>
(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 |
