ReopeningGraphicalWindow - Sigma Knowledge base Browser

appearance as argument number 1

(disjoint ReopeningGraphicalWindow OpeningNewGraphicalWindow)	ComputerInput.kif 2386-2386
(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

appearance as argument number 2

(disjoint UncoveringGraphicalWindow ReopeningGraphicalWindow)	ComputerInput.kif 2404-2404
(termFormat EnglishLanguage ReopeningGraphicalWindow "reopening graphical window")	domainEnglishFormat.kif 65432-65432

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