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 2091-2093 | |
(instance GUE_UncoveredState GUElementState) | ComputerInput.kif 2090-2090 |
appearance as argument number 2 |
(contraryAttribute GUE_CoveredState GUE_UncoveredState GUE_PartiallyCoveredState) | ComputerInput.kif 2115-2115 | |
(termFormat EnglishLanguage GUE_UncoveredState "GUE uncovered state") | domainEnglishFormat.kif 64916-64916 |
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 2120-2131 | |
(=> (and (hasGUEState ?WINDOW GUE_UncoveredState) (hasGUEState ?WINDOW GUE_MaximizedWindowState)) (hasGUEState ?WINDOW GUE_ActiveState)) |
ComputerInput.kif 2104-2108 | |
(=> (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 2332-2343 | |
(=> (hasGUEState ?WIN1 GUE_UncoveredState) (or (hasGUEState ?WIN1 GUE_DisplayedState) (hasGUEState ?WIN1 GUE_OffscreenState))) |
ComputerInput.kif 2096-2100 |
consequent |
(=> (and (instance ?ACT BringingGEToFront) (patient ?ACT ?WINDOW) (instance ?WINDOW InterfaceWindow)) (holdsDuring (EndFn ?ACT) (hasGUEState ?WINDOW GUE_UncoveredState))) |
ComputerInput.kif 2347-2354 | |
(=> (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 2529-2537 | |
(=> (guiElementPartiallyCovered ?ACT ?GUIE) (or (holdsDuring (BeginFn (WhenFn ?ACT)) (hasGUEState ?GUIE GUE_UncoveredState)) (holdsDuring (BeginFn (WhenFn ?ACT)) (hasGUEState ?GUIE GUE_PartiallyCoveredState)))) |
ComputerInput.kif 2582-2588 | |
(=> (guiElementUncovered ?ACT ?GUIE) (holdsDuring (EndFn (WhenFn ?ACT)) (hasGUEState ?GUIE GUE_UncoveredState))) |
ComputerInput.kif 2641-2644 |