Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  GUE_MaximizedWindowState

 Sigma KEE - GUE_MaximizedWindowState
GUE_MaximizedWindowState(GUE maximized window state)

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


(instance GUE_MaximizedWindowState GUElementState) ComputerInput.kif 2060-2060 GUE maximized window state is an instance of GU element state
(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 2061-2063 GUE maximized window state is an instance of GU element state
(contraryAttribute GUE_MaximizedWindowState GUE_MinimizedState) ComputerInput.kif 2071-2071 GUE maximized window state is the opposite of GUE minimized state
(contraryAttribute GUE_MaximizedWindowState GUE_OffscreenState) ComputerInput.kif 2072-2072 GUE maximized window state is the opposite of GUE offscreen state

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


(contraryAttribute GUE_VerticallyMaximizedWindowState GUE_MaximizedWindowState) ComputerInput.kif 2085-2085 GUE vertically maximized window state is the opposite of GUE maximized window state
(termFormat EnglishLanguage GUE_MaximizedWindowState "GUE maximized window state") domainEnglishFormat.kif 64909-64909 GUE vertically maximized window state is the opposite of GUE maximized window state

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


(=>
    (hasGUEState ?GUIE GUE_MaximizedWindowState)
    (instance ?GUIE InterfaceWindow))		 ComputerInput.kif 2067-2069 If X has state GUE maximized window state, then X is an instance of interface window
(=>
    (and
        (hasGUEState ?WINDOW GUE_UncoveredState)
        (hasGUEState ?WINDOW GUE_MaximizedWindowState))
    (hasGUEState ?WINDOW GUE_ActiveState))		 ComputerInput.kif 2120-2124 If X has state GUE uncovered state and X has state GUE maximized window state, then X has state GUE active state
(=>
    (and
        (hasGUEState ?WIN1 GUE_UncoveredState)
        (hasGUEState ?WIN1 GUE_MaximizedWindowState)
        (screenOfGUIE ?WIN1 ?SCREEN)
        (instance ?WIN2 InterfaceWindow)
        (screenOfGUIE ?WIN2 ?SCREEN)
        (not
            (equal ?WIN1 ?WIN2)))
    (or
        (hasGUEState ?WIN2 GUE_CoveredState)
        (hasGUEState ?WIN2 GUE_PartiallyCoveredState)
        (hasGUEState ?WIN2 GUE_OffscreenState)))		 ComputerInput.kif 2136-2147 If All of the following hold: (1) X has state GUE uncovered state (2) X has state GUE maximized window state (3) X is displayed on Y (4) Z is an instance of interface window (5) Z is displayed on Y (6) equal X and Z, then At least one of the following holds: (1) Z has state GUE covered state (2) Z has state GUE partially covered state (3) Z has state GUE offscreen state

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 2485-2494 If X is an instance of maximizing graphical window, Y is a patient of X, and Y is an instance of interface window, then Y has state GUE maximized window state holds during the end of the time of existence of X and Y has state GUE maximized window state holds during the beginning of the time of existence of X
(=>
    (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 2502-2511 If X is an instance of unmaximizing graphical window, Y is a patient of X, and Y is an instance of interface window, then Y has state GUE maximized window state holds during the beginning of the time of existence of X and Y has state GUE maximized window state holds during the end of the time of existence of X


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners