Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - GUE_UncoveredState
GUE_UncoveredState(GUE uncovered state)

appearance as argument number 1
-------------------------


(instance GUE_UncoveredState GUElementState) ComputerInput.kif 2106-2106 GUE uncovered state is an instance of GU element state
(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 2107-2109 GUE uncovered state is an instance of GU element state

appearance as argument number 2
-------------------------


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

antecedent
-------------------------


(=>
    (hasGUEState ?WIN1 GUE_UncoveredState)
    (or
        (hasGUEState ?WIN1 GUE_DisplayedState)
        (hasGUEState ?WIN1 GUE_OffscreenState)))		 ComputerInput.kif 2112-2116 If X has state GUE uncovered state, then X has state GUE displayed state or X has state GUE offscreen state
(=>
    (and
        (hasGUEState ?WINDOW GUE_UncoveredState)
        (hasGUEState ?WINDOW GUE_MaximizedWindowState))
    (hasGUEState ?WINDOW GUE_ActiveState))		 ComputerInput.kif 2120-2124 If X has state GUE uncovered state and X has state GUE maximized window state, then X has state GUE active state
(=>
    (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 2136-2147 If All of the following hold: (1) X has state GUE uncovered state (2) X has state GUE maximized window state (3) X is displayed on Y (4) Z is an instance of interface window (5) Z is displayed on Y (6) equal X and Z, then At least one of the following holds: (1) Z has state GUE covered state (2) Z has state GUE partially covered state (3) Z has state GUE offscreen 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 2348-2359 If X is an instance of bringing GE to front, Y is a patient of X, Y is an instance of interface window, Y has state Z holds during the beginning of X, and Z is the opposite of GUE uncovered state, then Y has state Z holds during the end of X

consequent
-------------------------


(=>
    (and
        (instance ?ACT BringingGEToFront)
        (patient ?ACT ?WINDOW)
        (instance ?WINDOW InterfaceWindow))
    (holdsDuring
        (EndFn ?ACT)
        (hasGUEState ?WINDOW GUE_UncoveredState)))		 ComputerInput.kif 2363-2370 If X is an instance of bringing GE to front, Y is a patient of X, and Y is an instance of interface window, then Y has state GUE uncovered state holds during the end of X
(=>
    (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 2545-2553 If X covers Y, then Y has state GUE partially covered state or Y has state GUE uncovered state holds during the beginning of the time of existence of X and Y has state GUE covered state holds during the end of the time of existence of X
(=>
    (guiElementPartiallyCovered ?ACT ?GUIE)
    (or
        (holdsDuring
            (BeginFn
                (WhenFn ?ACT))
            (hasGUEState ?GUIE GUE_UncoveredState))
        (holdsDuring
            (BeginFn
                (WhenFn ?ACT))
            (hasGUEState ?GUIE GUE_PartiallyCoveredState))))		 ComputerInput.kif 2598-2604 If X partially covers Y, then Y has state GUE uncovered state holds during the beginning of the time of existence of X or Y has state GUE partially covered state holds during the beginning of the time of existence of X
(=>
    (guiElementUncovered ?ACT ?GUIE)
    (holdsDuring
        (EndFn
            (WhenFn ?ACT))
        (hasGUEState ?GUIE GUE_UncoveredState)))		 ComputerInput.kif 2657-2660 If X uncovers Y, then Y has state GUE uncovered state holds during the end of the time of existence of X


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners