ReopeningGraphicalWindow - Sigma Knowledge base Browser

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	Reopening graphical window is disjoint from opening new graphical window
(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 65455-65455	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)))))

ComputerInput.kif 2389-2398