TreeView Knowledge Base Browser - ReopeningGraphicalWindow

appearance as argument number 1

(subclass ReopeningGraphicalWindow OpeningGraphicalWindow)	ComputerInput.kif 2398-2398	Reopening graphical window is a subclass of opening 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 2399-2401	Reopening graphical window is a subclass of opening graphical window
(disjoint ReopeningGraphicalWindow OpeningNewGraphicalWindow)	ComputerInput.kif 2402-2402	Reopening graphical window is disjoint from opening new graphical window

appearance as argument number 2

(disjoint UncoveringGraphicalWindow ReopeningGraphicalWindow)	ComputerInput.kif 2420-2420	Uncovering graphical window is disjoint from reopening graphical window
(termFormat EnglishLanguage ReopeningGraphicalWindow "reopening graphical window")	domainEnglishFormat.kif 65410-65410	Uncovering graphical window is disjoint from reopening graphical window

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)))))