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

Formal Language: 



KB Term:  Term intersection
English Word: 

  GUE_PartiallyCoveredState

Sigma KEE - GUE_PartiallyCoveredState
GUE_PartiallyCoveredState

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


(documentation GUE_PartiallyCoveredState EnglishLanguage "A GUIElement has a GUE_PartiallyCoveredState if some 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 while some other portion is not opaquely covered.") ComputerInput.kif 2126-2129
(instance GUE_PartiallyCoveredState GUElementState) ComputerInput.kif 2125-2125 GUE_PartiallyCoveredState is an instance of GUElementState

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


(subAttribute GUE_InPartCoveredState GUE_PartiallyCoveredState) ComputerInput.kif 2156-2156 GUE_InPartCoveredState is a subattribute of GUE_PartiallyCoveredState
(subAttribute GUE_TranslucentlyCoveredState GUE_PartiallyCoveredState) ComputerInput.kif 2149-2149 GUE_TranslucentlyCoveredState is a subattribute of GUE_PartiallyCoveredState

appearance as argument number 3
-------------------------


(contraryAttribute GUE_CoveredState GUE_UncoveredState GUE_PartiallyCoveredState) ComputerInput.kif 2130-2130 GUE_CoveredState is the opposite of GUE_UncoveredState

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
(=>
    (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
(=>
    (guiElementPartiallyCovered ?ACT ?GUIE)
    (holdsDuring
        (EndFn
            (WhenFn ?ACT))
        (hasGUEState ?GUIE GUE_PartiallyCoveredState)))
ComputerInput.kif 2588-2591
(=>
    (guiElementPartiallyCovered ?ACT ?GUIE)
    (or
        (holdsDuring
            (BeginFn
                (WhenFn ?ACT))
            (hasGUEState ?GUIE GUE_UncoveredState))
        (holdsDuring
            (BeginFn
                (WhenFn ?ACT))
            (hasGUEState ?GUIE GUE_PartiallyCoveredState))))
ComputerInput.kif 2596-2602
(=>
    (guiElementUncovered ?ACT ?GUIE)
    (or
        (holdsDuring
            (BeginFn
                (WhenFn ?ACT))
            (hasGUEState ?GUIE GUE_CoveredState))
        (holdsDuring
            (BeginFn
                (WhenFn ?ACT))
            (hasGUEState ?GUIE GUE_PartiallyCoveredState))))
ComputerInput.kif 2663-2669


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