GUE_OffscreenState - Sigma Knowledge base Browser

appearance as argument number 1

(documentation GUE_OffscreenState EnglishLanguage "An InterfaceWindow has a GUE_OffscreenState if all parts of it are outside the logical area displaye on a ComputerScreen. A GUIElement has a GUE_OffscreenState if all parts of it are outside the &$InterfaceWindow which it is in or outside the logical area of the screen. An offscreen InterfaceWindow may not be active, but an offscreen element of a window that is partially on the screen may be.")	ComputerInput.kif 2021-2025
(instance GUE_OffscreenState GUElementState)	ComputerInput.kif 2019-2019	GUE offscreen state is an instance of GU element state
(subAttribute GUE_OffscreenState GUE_NonVisibleState)	ComputerInput.kif 2020-2020	GUE offscreen state is a subattribute of GUE non visible state

appearance as argument number 2

(contraryAttribute GUE_MaximizedWindowState GUE_OffscreenState)	ComputerInput.kif 2056-2056	GUE maximized window state is the opposite of GUE offscreen state
(contraryAttribute GUE_VerticallyMaximizedWindowState GUE_OffscreenState)	ComputerInput.kif 2071-2071	GUE vertically maximized window state is the opposite of GUE offscreen state
(termFormat EnglishLanguage GUE_OffscreenState "GUE offscreen state")	domainEnglishFormat.kif 64957-64957	GUE vertically maximized window state is the opposite of GUE offscreen state

antecedent

(=>
    (and
        (instance ?GUIE_SM GUIElement)
        (instance ?GUIE_BIG GUIElement)
        (properPart ?GUIE_SM ?GUIE_BIG)
        (hasGUEState ?GUIE_BIG GUE_OffscreenState))
    (hasGUEState ?GUIE_SM GUE_OffscreenState))

ComputerInput.kif 2029-2035

If an entity_SM is an instance of GUI element and the entity_BIG is an instance of GUI element and the entity_SM is a proper part of the entity_BIG and the entity_BIG has state GUE offscreen state,
then the entity_SM has state GUE offscreen state

consequent

(=> (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 (instance ?GUIE_SM GUIElement) (instance ?GUIE_BIG GUIElement) (properPart ?GUIE_SM ?GUIE_BIG) (hasGUEState ?GUIE_BIG GUE_OffscreenState)) (hasGUEState ?GUIE_SM GUE_OffscreenState))	ComputerInput.kif 2029-2035	If an entity_SM is an instance of GUI element and the entity_BIG is an instance of GUI element and the entity_SM is a proper part of the entity_BIG and the entity_BIG has state GUE offscreen state, then the entity_SM has state GUE offscreen state
(=> (hasGUEState ?WIN1 GUE_UncoveredState) (or (hasGUEState ?WIN1 GUE_DisplayedState) (hasGUEState ?WIN1 GUE_OffscreenState)))	ComputerInput.kif 2096-2100	If a GUI element has state GUE uncovered state, then the GUI element has state GUE displayed state or the GUI element has state GUE offscreen state
(=> (instance ?GUE GUIElement) (or (hasGUEState ?GUE GUE_CoveredState) (hasGUEState ?GUE GUE_OffscreenState) (hasGUEState ?GUE GUE_MinimizedState) (hasGUEState ?GUE GUE_DisplayedState)))	ComputerInput.kif 2149-2155	If a GUI element is an instance of GUI element, then the GUI element has state GUE covered state or the GUI element has state GUE offscreen state or the GUI element has state GUE minimized state or the GUI element has state GUE displayed state

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

KB Term:			Term intersection

English Word: