GUE_MaximizedWindowState - Sigma Knowledge base Browser

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 2052-2052	GUE_MaximizedWindowState is the opposite of GUE_MinimizedState
(contraryAttribute GUE_MaximizedWindowState GUE_OffscreenState)	ComputerInput.kif 2053-2053	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 2042-2044
(instance GUE_MaximizedWindowState GUElementState)	ComputerInput.kif 2041-2041	GUE_MaximizedWindowState is an instance of GUElementState

appearance as argument number 2

(contraryAttribute GUE_VerticallyMaximizedWindowState GUE_MaximizedWindowState)

ComputerInput.kif 2066-2066

GUE_VerticallyMaximizedWindowState is the opposite of GUE_MaximizedWindowState

antecedent

(=> (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 2117-2128	If a GUIElement has state GUE_UncoveredState and the GUIElement has state GUE_MaximizedWindowState and the GUIElement is displayed on a ComputerScreen and another GUIElement is an instance of InterfaceWindow and the other GUIElement is displayed on the ComputerScreen and the GUIElement is not equal to the other GUIElement, then the other GUIElement has state GUE_CoveredState or the other GUIElement has state GUE_PartiallyCoveredState or the other GUIElement has state GUE_OffscreenState
(=> (and (hasGUEState ?WINDOW GUE_UncoveredState) (hasGUEState ?WINDOW GUE_MaximizedWindowState)) (hasGUEState ?WINDOW GUE_ActiveState))	ComputerInput.kif 2101-2105	If a GUIElement has state GUE_UncoveredState and the GUIElement has state GUE_MaximizedWindowState, then the GUIElement has state GUE_ActiveState
(=> (hasGUEState ?GUIE GUE_MaximizedWindowState) (instance ?GUIE InterfaceWindow))	ComputerInput.kif 2048-2050	If a GUIElement has state GUE_MaximizedWindowState, then the GUIElement is an instance of InterfaceWindow

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 2466-2475	If a process is an instance of MaximizingGraphicalWindow and an entity is a patient of the process and the entity is an instance of InterfaceWindow, then the entity has state GUE_MaximizedWindowState holds during the end of the time of existence of the process and not the entity has state GUE_MaximizedWindowState holds during the beginning of the time of existence of the process
(=> (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 2483-2492	If a process is an instance of UnmaximizingGraphicalWindow and an entity is a patient of the process and the entity is an instance of InterfaceWindow, then the entity has state GUE_MaximizedWindowState holds during the beginning of the time of existence of the process and not the entity has state GUE_MaximizedWindowState holds during the end of the time of existence of the process

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 is open source software produced by Articulate Software and its partners