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(GUE maximized window state)

appearance as argument number 1

(contraryAttribute GUE_MaximizedWindowState GUE_MinimizedState)	ComputerInput.kif 2055-2055	GUE maximized window state is the opposite of GUE minimized state
(contraryAttribute GUE_MaximizedWindowState GUE_OffscreenState)	ComputerInput.kif 2056-2056	GUE maximized window state is the opposite of GUE offscreen 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 2045-2047
(instance GUE_MaximizedWindowState GUElementState)	ComputerInput.kif 2044-2044	GUE maximized window state is an instance of GU element state

appearance as argument number 2

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

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 2120-2131	If a GUI element has state GUE uncovered state and the GUI element has state GUE maximized window state and the GUI element is displayed on a computer screen and another GUI element is an instance of interface window and the other GUI element is displayed on the computer screen and the GUI element is not equal to the other GUI element, then the other GUI element has state GUE covered state or the other GUI element has state GUE partially covered state or the other GUI element has state GUE offscreen state
(=> (and (hasGUEState ?WINDOW GUE_UncoveredState) (hasGUEState ?WINDOW GUE_MaximizedWindowState)) (hasGUEState ?WINDOW GUE_ActiveState))	ComputerInput.kif 2104-2108	If a GUI element has state GUE uncovered state and the GUI element has state GUE maximized window state, then the GUI element has state GUE active state
(=> (hasGUEState ?GUIE GUE_MaximizedWindowState) (instance ?GUIE InterfaceWindow))	ComputerInput.kif 2051-2053	If a GUI element has state GUE maximized window state, then the GUI element is an instance of interface window

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 2469-2478	If a process is an instance of maximizing graphical window and an entity is a patient of the process and the entity is an instance of interface window, then the entity has state GUE maximized window state holds during the end of the time of existence of the process and not the entity has state GUE maximized window state 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 2486-2495	If a process is an instance of unmaximizing graphical window and an entity is a patient of the process and the entity is an instance of interface window, then the entity has state GUE maximized window state holds during the beginning of the time of existence of the process and not the entity has state GUE maximized window state 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