| appearance as argument number 1 |
|
| (documentation GUE_DisplayedState EnglishLanguage "A GUIElement has a GUE_DisplayedState if it at least partially appears on a ComputerScreen.") | ComputerInput.kif 1986-1987 | |
| (instance GUE_DisplayedState GUElementState) | ComputerInput.kif 1985-1985 | GUE displayed state is an instance of GU element state |
| appearance as argument number 2 |
|
|
| (contraryAttribute GUE_NonVisibleState GUE_DisplayedState) | ComputerInput.kif 2017-2017 | GUE non visible state is the opposite of GUE displayed state |
| (termFormat EnglishLanguage GUE_DisplayedState "GUE displayed state") | domainEnglishFormat.kif 64952-64952 | GUE non visible state is the opposite of GUE displayed state |
| consequent |
|
|
| (=> (hasGUEState ?WIN1 GUE_UncoveredState) (or (hasGUEState ?WIN1 GUE_DisplayedState) (hasGUEState ?WIN1 GUE_OffscreenState))) |
ComputerInput.kif 2096-2100 |
|
| (=> (instance ?CURSOR MouseCursor) (hasGUEState ?CURSOR GUE_DisplayedState)) |
ComputerInput.kif 1990-1992 |
|
| (=> (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