| 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 | |
| (subAttribute GUE_OffscreenState GUE_NonVisibleState) | ComputerInput.kif 2020-2020 |
| appearance as argument number 2 |
|
|
| (contraryAttribute GUE_MaximizedWindowState GUE_OffscreenState) | ComputerInput.kif 2056-2056 | |
| (contraryAttribute GUE_VerticallyMaximizedWindowState GUE_OffscreenState) | ComputerInput.kif 2071-2071 | |
| (termFormat EnglishLanguage GUE_OffscreenState "GUE offscreen state") | domainEnglishFormat.kif 64934-64934 |
| 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 |
| 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 | |
| (=> (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 | |
| (=> (hasGUEState ?WIN1 GUE_UncoveredState) (or (hasGUEState ?WIN1 GUE_DisplayedState) (hasGUEState ?WIN1 GUE_OffscreenState))) |
ComputerInput.kif 2096-2100 | |
| (=> (instance ?GUE GUIElement) (or (hasGUEState ?GUE GUE_CoveredState) (hasGUEState ?GUE GUE_OffscreenState) (hasGUEState ?GUE GUE_MinimizedState) (hasGUEState ?GUE GUE_DisplayedState))) |
ComputerInput.kif 2149-2155 |
|
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