ReopeningGraphicalWindow(reopening graphical window) |
appearance as argument number 1 |
(disjoint ReopeningGraphicalWindow OpeningNewGraphicalWindow) | ComputerInput.kif 2386-2386 | Reopening graphical window is disjoint from opening new graphical window |
(documentation ReopeningGraphicalWindow EnglishLanguage "A UserSignifiedAction causing the redisplay of a minimized InterfaceWindow on a ComputerScreen. Reopening a window normally makes it the active window and brings it to the front.") | ComputerInput.kif 2383-2385 | |
(subclass ReopeningGraphicalWindow OpeningGraphicalWindow) | ComputerInput.kif 2382-2382 | Reopening graphical window is a subclass of opening graphical window |
appearance as argument number 2 |
(disjoint UncoveringGraphicalWindow ReopeningGraphicalWindow) | ComputerInput.kif 2404-2404 | Uncovering graphical window is disjoint from reopening graphical window |
(termFormat EnglishLanguage ReopeningGraphicalWindow "reopening graphical window") | domainEnglishFormat.kif 65409-65409 |
antecedent |
(=> (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 2389-2398 |
|