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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MaximizingGraphicalWindow
MaximizingGraphicalWindow

appearance as argument number 1
-------------------------


(documentation MaximizingGraphicalWindow EnglishLanguage "A UserSignifiedAction causing an InterfaceWindow to be expanded to cover the complete area of a ComputerScreen -- or possibly the complete vertical range of the screen if the window has a maximum width less than the screen-width. If the window being maximized is logically in front of any other window (which would normally be the case), this would also be a case of CoveringGraphicalWindow.") ComputerInput.kif 2160-2160
(subclass MaximizingGraphicalWindow UserSignifiedGraphicalAction) ComputerInput.kif 2159-2159 subclass MaximizingGraphicalWindow and UserSignifiedGraphicalAction

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


(=>
    (and
        (instance ?OPEN MaximizingGraphicalWindow)
        (patient ?OPEN ?WINDOW)
        (instance ?WINDOW InterfaceWindow))
    (and
        (holdsDuring
            (EndFn
                (WhenFn ?OPEN))
            (hasGUEState ?WINDOW MaximizedWindowState))
        (holdsDuring
            (BeginFn
                (WhenFn ?OPEN))
            (not
                (hasGUEState ?WINDOW MaximizedWindowState)))))
ComputerInput.kif 2162-2171


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