Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - GUE_CoveredState
GUE_CoveredState

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


(contraryAttribute GUE_CoveredState GUE_SelectedState) ComputerInput.kif 2202-2202 contraryAttribute GUE_CoveredState and GUE_SelectedState
(contraryAttribute GUE_CoveredState GUE_UncoveredState GUE_PartiallyCoveredState) ComputerInput.kif 2130-2130 contraryAttribute GUE_CoveredState, GUE_UncoveredState and GUE_PartiallyCoveredState
(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 2090-2093
(instance GUE_CoveredState GUElementState) ComputerInput.kif 2088-2088 instance GUE_CoveredState and GUElementState
(subAttribute GUE_CoveredState GUE_NonVisibleState) ComputerInput.kif 2089-2089 subAttribute GUE_CoveredState and GUE_NonVisibleState

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 2097-2103

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


(=>
    (and
        (hasGUEState ?WIN1 GUE_UncoveredState)
        (hasGUEState ?WIN1 GUE_MaximizedState)
        (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 2135-2146
(=>
    (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 2097-2103
(=>
    (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 2543-2551
(=>
    (guiElementCoveredBy ?GUIE_BOTTOM ?GUIE_TOP)
    (hasGUEState ?GUIE_BOTTOM GUE_CoveredState))
ComputerInput.kif 2561-2563
(=>
    (guiElementUncovered ?ACT ?GUIE)
    (or
        (holdsDuring
            (BeginFn
                (WhenFn ?ACT))
            (hasGUEState ?GUIE GUE_CoveredState))
        (holdsDuring
            (BeginFn
                (WhenFn ?ACT))
            (hasGUEState ?GUIE GUE_PartiallyCoveredState))))
ComputerInput.kif 2663-2669
(=>
    (instance ?GUE GUIElement)
    (or
        (hasGUEState ?GUE GUE_CoveredState)
        (hasGUEState ?GUE GUE_OffscreenState)
        (hasGUEState ?GUE GUE_MinimizedState)
        (hasGUEState ?GUE GUE_DisplayedState)))
ComputerInput.kif 2164-2170


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners