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


KB Term:  Term intersection
English Word: 

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 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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners