(=>
(and
(instance ?GUIE1 GUIElement)
(hasGUEState ?GUIE1 GUE_ActiveState)
(properPart ?GUIE1 ?GUIE2)
(instance ?GUIE2 GUIElement))
(hasGUEState ?GUIE2 GUE_ActiveState)) |
ComputerInput.kif 1925-1931 |
If X is an instance of GUI element, X has state GUE active state, X is a proper part of Y, and Y is an instance of GUI element, then Y has state GUE active state |
(=>
(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 ?GUIE_SM GUIElement)
(instance ?GUIE_BIG GUIElement)
(properPart ?GUIE_SM ?GUIE_BIG)
(hasGUEState ?GUIE_BIG GUE_PassiveState))
(hasGUEState ?GUIE_SM GUE_PassiveState)) |
ComputerInput.kif 1993-1999 |
If ?GUIE_SM is an instance of GUI element, ?GUIE_BIG is an instance of GUI element, ?GUIE_SM is a proper part of ?GUIE_BIG, and ?GUIE_BIG has state GUE passive state, then ?GUIE_SM has state GUE passive state |
(=>
(and
(instance ?GUIE_SM GUIElement)
(instance ?GUIE_BIG GUIElement)
(properPart ?GUIE_SM ?GUIE_BIG)
(hasGUEState ?GUIE_BIG GUE_NonVisibleState))
(hasGUEState ?GUIE_SM GUE_NonVisibleState)) |
ComputerInput.kif 2017-2023 |
If ?GUIE_SM is an instance of GUI element, ?GUIE_BIG is an instance of GUI element, ?GUIE_SM is a proper part of ?GUIE_BIG, and ?GUIE_BIG has state GUE non visible state, then ?GUIE_SM has state GUE non visible state |
(=>
(and
(instance ?GUIE_SM GUIElement)
(instance ?GUIE_BIG GUIElement)
(properPart ?GUIE_SM ?GUIE_BIG)
(hasGUEState ?GUIE_BIG GUE_OffscreenState))
(hasGUEState ?GUIE_SM GUE_OffscreenState)) |
ComputerInput.kif 2045-2051 |
If ?GUIE_SM is an instance of GUI element, ?GUIE_BIG is an instance of GUI element, ?GUIE_SM is a proper part of ?GUIE_BIG, and ?GUIE_BIG has state GUE offscreen state, then ?GUIE_SM has state GUE offscreen state |
(=>
(and
(instance ?GUIE_SM GUIElement)
(instance ?GUIE_BIG GUIElement)
(properPart ?GUIE_SM ?GUIE_BIG)
(hasGUEState ?GUIE_BIG GUE_CoveredState))
(hasGUEState ?GUIE_SM GUE_CoveredState)) |
ComputerInput.kif 2098-2104 |
If ?GUIE_SM is an instance of GUI element, ?GUIE_BIG is an instance of GUI element, ?GUIE_SM is a proper part of ?GUIE_BIG, and ?GUIE_BIG has state GUE covered state, then ?GUIE_SM has state GUE covered state |
(=>
(instance ?GUE GUIElement)
(or
(hasGUEState ?GUE GUE_CoveredState)
(hasGUEState ?GUE GUE_OffscreenState)
(hasGUEState ?GUE GUE_MinimizedState)
(hasGUEState ?GUE GUE_DisplayedState))) |
ComputerInput.kif 2165-2171 |
If X is an instance of GUI element, then At least one of the following holds: (1) X has state GUE covered state (2) X has state GUE offscreen state (3) X has state GUE minimized state (4) X has state GUE displayed state |
(=>
(and
(instance ?ACT ActivatingUIElement)
(patient ?ACT ?GUIE)
(instance ?GUIE GUIElement))
(and
(holdsDuring
(EndFn ?ACT)
(hasGUEState ?GUIE GUE_ActiveState))
(holdsDuring
(BeginFn ?ACT)
(not
(hasGUEState ?GUIE GUE_ActiveState))))) |
ComputerInput.kif 2284-2293 |
If X is an instance of activating UI element, Y is a patient of X, and Y is an instance of GUI element, then Y has state GUE active state holds during the end of X and Y has state GUE active state holds during the beginning of X |
(=>
(and
(instance ?SELECT SelectingComputerSubmenu)
(patient ?SELECT ?SUBMENU)
(instance ?SUBMENU GUIElement))
(instance ?SUBMENU ComputerMenu)) |
ComputerInput.kif 2299-2304 |
If X is an instance of selecting computer submenu, Y is a patient of X, and Y is an instance of GUI element, then Y is an instance of computer menu |
(=>
(and
(instance ?COVERING CoveringGUIElement)
(agent ?COVERING ?GUIE_TOP)
(patient ?COVERING ?GUIE_BOTTOM)
(instance ?GUIE_TOP GUIElement)
(instance ?GUIE_BOTTOM GUIElement))
(holdsDuring
(EndFn ?COVERING)
(or
(guiElementCoveredBy ?GUIE_BOTTOM ?GUIE_TOP)
(guiElementPartiallyCoveredBy ?GUIE_BOTTOM ?GUIE_TOP)))) |
ComputerInput.kif 2613-2623 |
If X is an instance of covering GUI element, ?GUIE_TOP is an agent of X, ?GUIE_BOTTOM is a patient of X, ?GUIE_TOP is an instance of GUI element, and ?GUIE_BOTTOM is an instance of GUI element, then ?GUIE_BOTTOM is covered by ?GUIE_TOP or ?GUIE_BOTTOM is partially covered by ?GUIE_TOP holds during the end of X |
(=>
(and
(instance ?COVERING PartiallyCoveringGraphicalWindow)
(agent ?COVERING ?GUIE_TOP)
(patient ?COVERING ?GUIE_BOTTOM)
(instance ?GUIE_TOP GUIElement)
(instance ?GUIE_BOTTOM GUIElement))
(holdsDuring
(EndFn ?COVERING)
(guiElementPartiallyCoveredBy ?GUIE_BOTTOM ?GUIE_TOP))) |
ComputerInput.kif 2625-2633 |
If X is an instance of partially covering graphical window, ?GUIE_TOP is an agent of X, ?GUIE_BOTTOM is a patient of X, ?GUIE_TOP is an instance of GUI element, and ?GUIE_BOTTOM is an instance of GUI element, then ?GUIE_BOTTOM is partially covered by ?GUIE_TOP holds during the end of X |
