|
|
  GUE_UncoveredState
|
|
|
| appearance as argument number 1 |
|
|
| (documentation GUE_UncoveredState EnglishLanguage "A GUIElement has a GUE_UncoveredState if no portion of it on the computer window space (including parts outside the visible window) for which it is defined has something being displayed on a layer conceptually closer to the viewer.") | ComputerInput.kif 2088-2090 | |
| (instance GUE_UncoveredState GUElementState) | ComputerInput.kif 2087-2087 |
| appearance as argument number 2 |
|
|
| (contraryAttribute GUE_CoveredState GUE_UncoveredState GUE_PartiallyCoveredState) | ComputerInput.kif 2112-2112 |
| antecedent |
|
|
| (=> (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 2117-2128 | |
| (=> (and (hasGUEState ?WINDOW GUE_UncoveredState) (hasGUEState ?WINDOW GUE_MaximizedWindowState)) (hasGUEState ?WINDOW GUE_ActiveState)) |
ComputerInput.kif 2101-2105 | |
| (=> (and (instance ?ACT BringingGEToFront) (patient ?ACT ?WINDOW) (instance ?WINDOW InterfaceWindow) (holdsDuring (BeginFn ?ACT) (hasGUEState ?WINDOW ?STATE)) (contraryAttribute ?STATE GUE_UncoveredState)) (holdsDuring (EndFn ?ACT) (not (hasGUEState ?WINDOW ?STATE)))) |
ComputerInput.kif 2329-2340 | |
| (=> (hasGUEState ?WIN1 GUE_UncoveredState) (or (hasGUEState ?WIN1 GUE_DisplayedState) (hasGUEState ?WIN1 GUE_OffscreenState))) |
ComputerInput.kif 2093-2097 |
| consequent |
|
|
| (=> (and (instance ?ACT BringingGEToFront) (patient ?ACT ?WINDOW) (instance ?WINDOW InterfaceWindow)) (holdsDuring (EndFn ?ACT) (hasGUEState ?WINDOW GUE_UncoveredState))) |
ComputerInput.kif 2344-2351 | |
| (=> (guiElementCovered ?COVERING ?GUIE) (and (holdsDuring (BeginFn (WhenFn ?COVERING)) (or (hasGUEState ?GUIE GUE_PartiallyCoveredState) (hasGUEState ?GUIE GUE_UncoveredState))) (holdsDuring (EndFn (WhenFn ?COVERING)) (hasGUEState ?GUIE GUE_CoveredState)))) |
ComputerInput.kif 2525-2533 | |
| (=> (guiElementPartiallyCovered ?ACT ?GUIE) (or (holdsDuring (BeginFn (WhenFn ?ACT)) (hasGUEState ?GUIE GUE_UncoveredState)) (holdsDuring (BeginFn (WhenFn ?ACT)) (hasGUEState ?GUIE GUE_PartiallyCoveredState)))) |
ComputerInput.kif 2578-2584 | |
| (=> (guiElementUncovered ?ACT ?GUIE) (holdsDuring (EndFn (WhenFn ?ACT)) (hasGUEState ?GUIE GUE_UncoveredState))) |
ComputerInput.kif 2637-2640 |
|
|
|