hasGUEState |
(=> (instance ?GUE GUIElement) (or (hasGUEState ?GUE GUE_CoveredState) (hasGUEState ?GUE GUE_OffscreenState) (hasGUEState ?GUE GUE_MinimizedState) (hasGUEState ?GUE GUE_DisplayedState))) |
ComputerInput.kif 2149-2155 | |
(=> (instance ?SCROLL WindowScrollingByUser) (exists (?WINDOW) (and (patient ?SCROLL ?WINDOW) (instance ?WINDOW InterfaceWindow) (hasGUEState ?WINDOW GUE_ActiveState)))) |
ComputerInput.kif 1797-1803 | |
(=> (instance ?SELECT SelectingActiveArea) (exists (?ELEMENT) (and (instance ?ELEMENT GUIActiveArea) (holdsDuring (BeginFn ?SELECT) (hasGUEState ?ELEMENT GUE_ActiveState)) (patient ?SELECT ?ELEMENT)))) |
ComputerInput.kif 2190-2198 |