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


KB Term:  Term intersection
English Word: 

Sigma KEE - GUE_MinimizedState
GUE_MinimizedState(GUE minimized state)

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


(instance GUE_MinimizedState GUElementState) ComputerInput.kif 2053-2053 GUE minimized state is an instance of GU element state
(subAttribute GUE_MinimizedState GUE_NonVisibleState) ComputerInput.kif 2054-2054 GUE minimized state is a subattribute of GUE non visible state
(documentation GUE_MinimizedState EnglishLanguage "A GUIElement has a GUE_MinimizedState if has been logically minimized, which means that although it might have an assigned position on the screen, it does not appear on the screen and is can not be made active until it is reopened.") ComputerInput.kif 2055-2057 GUE minimized state is a subattribute of GUE non visible state
(contraryAttribute GUE_MinimizedState GUE_ActiveState) ComputerInput.kif 2058-2058 GUE minimized state is the opposite of GUE active state

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


(contraryAttribute GUE_MaximizedWindowState GUE_MinimizedState) ComputerInput.kif 2071-2071 GUE maximized window state is the opposite of GUE minimized state
(contraryAttribute GUE_VerticallyMaximizedWindowState GUE_MinimizedState) ComputerInput.kif 2086-2086 GUE vertically maximized window state is the opposite of GUE minimized state
(termFormat EnglishLanguage GUE_MinimizedState "GUE minimized state") domainEnglishFormat.kif 64910-64910 GUE vertically maximized window state is the opposite of GUE minimized state

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


(=>
    (instance ?GUE GUIElement)
    (or
        (hasGUEState ?GUE GUE_CoveredState)
        (hasGUEState ?GUE GUE_OffscreenState)
        (hasGUEState ?GUE GUE_MinimizedState)
        (hasGUEState ?GUE GUE_DisplayedState)))		 ComputerInput.kif 2165-2171 If X is an instance of GUI element, then At least one of the following holds: (1) X has state GUE covered state (2) X has state GUE offscreen state (3) X has state GUE minimized state (4) X has state GUE displayed state
(=>
    (and
        (instance ?OPEN ReopeningGraphicalWindow)
        (patient ?OPEN ?WINDOW)
        (instance ?WINDOW InterfaceWindow))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?OPEN))
            (hasGUEState ?WINDOW GUE_MinimizedState))
        (holdsDuring
            (EndFn
                (WhenFn ?OPEN))
            (not
                (hasGUEState ?WINDOW GUE_MinimizedState)))))		 ComputerInput.kif 2405-2414 If X is an instance of reopening graphical window, Y is a patient of X, and Y is an instance of interface window, then Y has state GUE minimized state holds during the beginning of the time of existence of X and Y has state GUE minimized state holds during the end of the time of existence of X
(=>
    (and
        (instance ?OPEN MinimizingGraphicalWindow)
        (patient ?OPEN ?WINDOW)
        (instance ?WINDOW InterfaceWindow))
    (and
        (holdsDuring
            (EndFn
                (WhenFn ?OPEN))
            (hasGUEState ?WINDOW GUE_MinimizedState))
        (holdsDuring
            (BeginFn
                (WhenFn ?OPEN))
            (not
                (hasGUEState ?WINDOW GUE_MinimizedState)))))		 ComputerInput.kif 2467-2476 If X is an instance of minimizing graphical window, Y is a patient of X, and Y is an instance of interface window, then Y has state GUE minimized state holds during the end of the time of existence of X and Y has state GUE minimized state holds during the beginning 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