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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - GUE_MaximizedWindowState
GUE_MaximizedWindowState

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


(contraryAttribute GUE_MaximizedWindowState GUE_MinimizedState) ComputerInput.kif 2070-2070 GUE_MaximizedWindowState is the opposite of GUE_MinimizedState
(contraryAttribute GUE_MaximizedWindowState GUE_OffscreenState) ComputerInput.kif 2071-2071 GUE_MaximizedWindowState is the opposite of GUE_OffscreenState
(documentation GUE_MaximizedWindowState EnglishLanguage "An InterfaceWindow has a GUE_MaximizedWindowState if it is sized to cover the whole screen and is not minimized. A maximized window may still be completely covered. Only windows can have such a state.") ComputerInput.kif 2060-2062
(instance GUE_MaximizedWindowState GUElementState) ComputerInput.kif 2059-2059 GUE_MaximizedWindowState is an instance of GUElementState

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


(contraryAttribute GUE_VerticallyMaximizedWindowState GUE_MaximizedWindowState) ComputerInput.kif 2084-2084 GUE_VerticallyMaximizedWindowState is the opposite of GUE_MaximizedWindowState

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


(=>
    (hasGUEState ?GUIE GUE_MaximizedWindowState)
    (instance ?GUIE InterfaceWindow))
ComputerInput.kif 2066-2068

consequent
-------------------------


(=>
    (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 2484-2493
(=>
    (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