(=>
(and
(instance ?GUIE1 GUIElement)
(hasGUEState ?GUIE1 GUE_ActiveState)
(properPart ?GUIE1 ?GUIE2)
(instance ?GUIE2 GUIElement))
(hasGUEState ?GUIE2 GUE_ActiveState)) |
ComputerInput.kif 1909-1915 |
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 1920-1929 |
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 1935-1948 |
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 1977-1983 |
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 2001-2007 |
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 2029-2035 |
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 2082-2088 |
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 2149-2155 |
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 2268-2277 |
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 2283-2288 |
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 2597-2607 |
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 2609-2617 |
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 |
