GUE_UncoveredState - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - GUE_UncoveredState

GUE_UncoveredState(GUE uncovered state)

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	GUE uncovered state is an instance of GU element state

appearance as argument number 2

(contraryAttribute GUE_CoveredState GUE_UncoveredState GUE_PartiallyCoveredState)	ComputerInput.kif 2115-2115	GUE covered state is the opposite of GUE uncovered state
(termFormat EnglishLanguage GUE_UncoveredState "GUE uncovered state")	domainEnglishFormat.kif 64962-64962	GUE covered state is the opposite of GUE uncovered state

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	If a GUI element has state GUE uncovered state and the GUI element has state GUE maximized window state and the GUI element is displayed on a computer screen and another GUI element is an instance of interface window and the other GUI element is displayed on the computer screen and the GUI element is not equal to the other GUI element, then the other GUI element has state GUE covered state or the other GUI element has state GUE partially covered state or the other GUI element has state GUE offscreen state
(=> (and (hasGUEState ?WINDOW GUE_UncoveredState) (hasGUEState ?WINDOW GUE_MaximizedWindowState)) (hasGUEState ?WINDOW GUE_ActiveState))	ComputerInput.kif 2104-2108	If a GUI element has state GUE uncovered state and the GUI element has state GUE maximized window state, then the GUI element has state GUE active state
(=> (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	If a time interval is an instance of bringing GE to front and an entity is a patient of the time interval and the entity is an instance of interface window and the entity has state an attribute holds during the beginning of the time interval and the attribute is the opposite of GUE uncovered state, then not the entity has state the attribute holds during the end of the time interval
(=> (hasGUEState ?WIN1 GUE_UncoveredState) (or (hasGUEState ?WIN1 GUE_DisplayedState) (hasGUEState ?WIN1 GUE_OffscreenState)))	ComputerInput.kif 2096-2100	If a GUI element has state GUE uncovered state, then the GUI element has state GUE displayed state or the GUI element has state GUE offscreen state

consequent

(=> (and (instance ?ACT BringingGEToFront) (patient ?ACT ?WINDOW) (instance ?WINDOW InterfaceWindow)) (holdsDuring (EndFn ?ACT) (hasGUEState ?WINDOW GUE_UncoveredState)))	ComputerInput.kif 2347-2354	If a time interval is an instance of bringing GE to front and an entity is a patient of the time interval and the entity is an instance of interface window, then the entity has state GUE uncovered state holds during the end of the time interval
(=> (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	If a covering GUI element covers a GUI element, then the GUI element has state GUE partially covered state or the GUI element has state GUE uncovered state holds during the beginning of the time of existence of the covering GUI element and the GUI element has state GUE covered state holds during the end of the time of existence of the covering GUI element
(=> (guiElementPartiallyCovered ?ACT ?GUIE) (or (holdsDuring (BeginFn (WhenFn ?ACT)) (hasGUEState ?GUIE GUE_UncoveredState)) (holdsDuring (BeginFn (WhenFn ?ACT)) (hasGUEState ?GUIE GUE_PartiallyCoveredState))))	ComputerInput.kif 2582-2588	If a partially covering graphical window partially covers a GUI element, then the GUI element has state GUE uncovered state holds during the beginning of the time of existence of the partially covering graphical window or the GUI element has state GUE partially covered state holds during the beginning of the time of existence of the partially covering graphical window
(=> (guiElementUncovered ?ACT ?GUIE) (holdsDuring (EndFn (WhenFn ?ACT)) (hasGUEState ?GUIE GUE_UncoveredState)))	ComputerInput.kif 2641-2644	If an uncovering graphical window uncovers a GUI element, then the GUI element has state GUE uncovered state holds during the end of the time of existence of the uncovering graphical window

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