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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MaximizedWindowState
MaximizedWindowState

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


(contraryAttribute MaximizedWindowState GUE_MinimizedState) ComputerInput.kif 1636-1636
(contraryAttribute MaximizedWindowState GUE_OffscreenState) ComputerInput.kif 1637-1637
(documentation MaximizedWindowState EnglishLanguage "An InterfaceWindow has a 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 1628-1628
(instance MaximizedWindowState GUElementState) ComputerInput.kif 1627-1627

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


(contraryAttribute GUE_VerticallyMaximizedWindowState MaximizedWindowState) ComputerInput.kif 1647-1647

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


(=>
    (hasGUEState ?GUIE MaximizedWindowState)
    (instance ?GUIE InterfaceWindow))
ComputerInput.kif 1632-1634

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


(=>
    (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 1994-2003
(=>
    (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 2008-2017


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