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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MaximizingGraphicalWindow
MaximizingGraphicalWindow(maximizing graphical window)

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 2463-2467
(subclass MaximizingGraphicalWindow UserSignifiedGraphicalAction) ComputerInput.kif 2462-2462 Maximizing graphical window is a subclass of user signified graphical action

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage MaximizingGraphicalWindow "maximizing graphical window") domainEnglishFormat.kif 65156-65156

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


(=>
    (and
        (instance ?OPEN MaximizingGraphicalWindow)
        (patient ?OPEN ?WINDOW)
        (instance ?WINDOW InterfaceWindow))
    (and
        (holdsDuring
            (EndFn
                (WhenFn ?OPEN))
            (hasGUEState ?WINDOW GUE_MaximizedWindowState))
        (holdsDuring
            (BeginFn
                (WhenFn ?OPEN))
            (not
                (hasGUEState ?WINDOW GUE_MaximizedWindowState)))))
ComputerInput.kif 2469-2478


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