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 2005-2005
(subclass UnmaximizingGraphicalWindow UserSignifiedGraphicalAction) ComputerInput.kif 2004-2004

antecedent
-------------------------


(=>
    (and
        (instance ?UNMAX UnmaximizingGraphicalWindow)
        (patient ?UNMAX ?WINDOW)
        (instance ?WINDOW InterfaceWindow))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?UNMAX))
            (hasGUEState ?WINDOW MaximizedWindowState))
        (holdsDuring
            (EndFn
                (WhenFn ?UNMAX))
            (not
                (hasGUEState ?WINDOW MaximizedWindowState)))))
ComputerInput.kif 2007-2016


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