UnmaximizingGraphicalWindow - Sigma Knowledge base Browser

appearance as argument number 1

(documentation UnmaximizingGraphicalWindow EnglishLanguage "A UserSignifiedAction causing an InterfaceWindow to be reduced from covering the complete area of a ComputerScreen to the size and location it had before being maximized. If it was created as maximized, unmaximizing it will shrink it to a default size and location.")	ComputerInput.kif 2481-2484
(subclass UnmaximizingGraphicalWindow UserSignifiedGraphicalAction)	ComputerInput.kif 2480-2480	Unmaximizing graphical window is a subclass of user signified graphical action

appearance as argument number 2

domainEnglishFormat.kif 65714-65714

antecedent

(=>
    (and
        (instance ?UNMAX UnmaximizingGraphicalWindow)
        (patient ?UNMAX ?WINDOW)
        (instance ?WINDOW InterfaceWindow))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?UNMAX))
            (hasGUEState ?WINDOW GUE_MaximizedWindowState))
        (holdsDuring
            (EndFn
                (WhenFn ?UNMAX))
            (not
                (hasGUEState ?WINDOW GUE_MaximizedWindowState)))))

ComputerInput.kif 2486-2495