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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 2478-2482
(subclass MaximizingGraphicalWindow UserSignifiedGraphicalAction) ComputerInput.kif 2477-2477 subclass MaximizingGraphicalWindow and UserSignifiedGraphicalAction


        (instance ?OPEN MaximizingGraphicalWindow)
        (patient ?OPEN ?WINDOW)
        (instance ?WINDOW InterfaceWindow))
                (WhenFn ?OPEN))
            (hasGUEState ?WINDOW GUE_MaximizedWindowState))
                (WhenFn ?OPEN))
                (hasGUEState ?WINDOW GUE_MaximizedWindowState)))))
ComputerInput.kif 2484-2493

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 3.0 is open source software produced by Articulate Software and its partners