MinimizingGraphicalWindow - Sigma Knowledge base Browser

appearance as argument number 1

(documentation MinimizingGraphicalWindow EnglishLanguage "A UserSignifiedAction causing an InterfaceWindow on a ComputerScreen to stop being displayed but to still conceptually exist.")	ComputerInput.kif 2448-2449
(subclass MinimizingGraphicalWindow UserSignifiedGraphicalAction)	ComputerInput.kif 2447-2447	Minimizing graphical window is a subclass of user signified graphical action

appearance as argument number 2

domainEnglishFormat.kif 65229-65229

antecedent

(=>
    (and
        (instance ?OPEN MinimizingGraphicalWindow)
        (patient ?OPEN ?WINDOW)
        (instance ?WINDOW InterfaceWindow))
    (and
        (holdsDuring
            (EndFn
                (WhenFn ?OPEN))
            (hasGUEState ?WINDOW GUE_MinimizedState))
        (holdsDuring
            (BeginFn
                (WhenFn ?OPEN))
            (not
                (hasGUEState ?WINDOW GUE_MinimizedState)))))

ComputerInput.kif 2451-2460