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


KB Term:  Term intersection
English Word: 

  GUE_CoveredState

 Sigma KEE - GUE_CoveredState
GUE_CoveredState(GUE covered state)

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


(instance GUE_CoveredState GUElementState) ComputerInput.kif 2089-2089 GUE covered state is an instance of GU element state
(subAttribute GUE_CoveredState GUE_NonVisibleState) ComputerInput.kif 2090-2090 GUE covered state is a subattribute of GUE non visible state
(documentation GUE_CoveredState EnglishLanguage "A GUIElement has a GUE_CoveredState if it does not appear on a ComputerScreen and every portion of it on the computer window space (including parts outside the visible window) for which it is defined has something opaque being displayed on a layer conceptually closer to the viewer.") ComputerInput.kif 2091-2094 GUE covered state is a subattribute of GUE non visible state
(contraryAttribute GUE_CoveredState GUE_UncoveredState GUE_PartiallyCoveredState) ComputerInput.kif 2131-2131 GUE covered state is the opposite of GUE uncovered state
(contraryAttribute GUE_CoveredState GUE_SelectedState) ComputerInput.kif 2203-2203 GUE covered state is the opposite of GUE selected state

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


(termFormat EnglishLanguage GUE_CoveredState "GUE covered state") domainEnglishFormat.kif 64906-64906

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


(=>
    (and
        (instance ?GUIE_SM GUIElement)
        (instance ?GUIE_BIG GUIElement)
        (properPart ?GUIE_SM ?GUIE_BIG)
        (hasGUEState ?GUIE_BIG GUE_CoveredState))
    (hasGUEState ?GUIE_SM GUE_CoveredState))		 ComputerInput.kif 2098-2104 If ?GUIE_SM is an instance of GUI element, ?GUIE_BIG is an instance of GUI element, ?GUIE_SM is a proper part of ?GUIE_BIG, and ?GUIE_BIG has state GUE covered state, then ?GUIE_SM has state GUE covered state

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


(=>
    (and
        (instance ?GUIE_SM GUIElement)
        (instance ?GUIE_BIG GUIElement)
        (properPart ?GUIE_SM ?GUIE_BIG)
        (hasGUEState ?GUIE_BIG GUE_CoveredState))
    (hasGUEState ?GUIE_SM GUE_CoveredState))		 ComputerInput.kif 2098-2104 If ?GUIE_SM is an instance of GUI element, ?GUIE_BIG is an instance of GUI element, ?GUIE_SM is a proper part of ?GUIE_BIG, and ?GUIE_BIG has state GUE covered state, then ?GUIE_SM has state GUE covered 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
(=>
    (instance ?GUE GUIElement)
    (or
        (hasGUEState ?GUE GUE_CoveredState)
        (hasGUEState ?GUE GUE_OffscreenState)
        (hasGUEState ?GUE GUE_MinimizedState)
        (hasGUEState ?GUE GUE_DisplayedState)))		 ComputerInput.kif 2165-2171 If X is an instance of GUI element, then At least one of the following holds: (1) X has state GUE covered state (2) X has state GUE offscreen state (3) X has state GUE minimized state (4) X has state GUE displayed state
(=>
    (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
(=>
    (guiElementCoveredBy ?GUIE_BOTTOM ?GUIE_TOP)
    (hasGUEState ?GUIE_BOTTOM GUE_CoveredState))		 ComputerInput.kif 2563-2565 If ?GUIE_BOTTOM is covered by ?GUIE_TOP, then ?GUIE_BOTTOM has state GUE covered state
(=>
    (guiElementUncovered ?ACT ?GUIE)
    (or
        (holdsDuring
            (BeginFn
                (WhenFn ?ACT))
            (hasGUEState ?GUIE GUE_CoveredState))
        (holdsDuring
            (BeginFn
                (WhenFn ?ACT))
            (hasGUEState ?GUIE GUE_PartiallyCoveredState))))		 ComputerInput.kif 2665-2671 If X uncovers Y, then Y has state GUE covered 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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners