![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
|
|
GUElementState
|
|
|
| appearance as argument number 1 |
|
|
| (subclass GUElementState VisualAttribute) | ComputerInput.kif 1892-1892 | GU element state is a subclass of visual attribute |
| (documentation GUElementState EnglishLanguage "A state possessed by instances of GUIElement. The possible states include GUE_ActiveState, GUE_PassiveState, GUE_DisplayedState, GUE_CoveredState, GUE_UncoveredState, and GUE_PartiallyCoveredState.") | ComputerInput.kif 1893-1895 | GU element state is a subclass of visual attribute |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain hasGUEState 2 GUElementState) | ComputerInput.kif 1900-1900 | The number 2 argument of has GUE state is an instance of GU element state |