| 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 1983-1984 | |
| (instance GUE_DisplayedState GUElementState) | ComputerInput.kif 1982-1982 | GUE_DisplayedState is an instance of GUElementState |
| appearance as argument number 2 |
|
|
| (contraryAttribute GUE_NonVisibleState GUE_DisplayedState) | ComputerInput.kif 2014-2014 | GUE_NonVisibleState is the opposite of GUE_DisplayedState |
| consequent |
|
|
| (=> (hasGUEState ?WIN1 GUE_UncoveredState) (or (hasGUEState ?WIN1 GUE_DisplayedState) (hasGUEState ?WIN1 GUE_OffscreenState))) |
ComputerInput.kif 2093-2097 |
|
| (=> (instance ?CURSOR MouseCursor) (hasGUEState ?CURSOR GUE_DisplayedState)) |
ComputerInput.kif 1987-1989 |
|
| (=> (instance ?GUE GUIElement) (or (hasGUEState ?GUE GUE_CoveredState) (hasGUEState ?GUE GUE_OffscreenState) (hasGUEState ?GUE GUE_MinimizedState) (hasGUEState ?GUE GUE_DisplayedState))) |
ComputerInput.kif 2146-2152 |
|
|
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