Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - UnmaximizingGraphicalWindow
UnmaximizingGraphicalWindow

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 2496-2499
(subclass UnmaximizingGraphicalWindow UserSignifiedGraphicalAction) ComputerInput.kif 2495-2495 UnmaximizingGraphicalWindow is a subclass of UserSignifiedGraphicalAction

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 2501-2510


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners