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(GUE partially covered state)

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 2111-2114
(instance GUE_PartiallyCoveredState GUElementState) ComputerInput.kif 2110-2110 GUE partially covered state is an instance of GU element state

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


(subAttribute GUE_InPartCoveredState GUE_PartiallyCoveredState) ComputerInput.kif 2141-2141 GUE in part covered state is a subattribute of GUE partially covered state
(subAttribute GUE_TranslucentlyCoveredState GUE_PartiallyCoveredState) ComputerInput.kif 2134-2134 GUE translucently covered state is a subattribute of GUE partially covered state
(termFormat EnglishLanguage GUE_PartiallyCoveredState "GUE partially covered state") domainEnglishFormat.kif 64910-64910

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


(contraryAttribute GUE_CoveredState GUE_UncoveredState GUE_PartiallyCoveredState) ComputerInput.kif 2115-2115 GUE covered state is the opposite of GUE uncovered state

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


(=>
    (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
(=>
    (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
(=>
    (guiElementPartiallyCovered ?ACT ?GUIE)
    (holdsDuring
        (EndFn
            (WhenFn ?ACT))
        (hasGUEState ?GUIE GUE_PartiallyCoveredState)))
ComputerInput.kif 2574-2577
(=>
    (guiElementPartiallyCovered ?ACT ?GUIE)
    (or
        (holdsDuring
            (BeginFn
                (WhenFn ?ACT))
            (hasGUEState ?GUIE GUE_UncoveredState))
        (holdsDuring
            (BeginFn
                (WhenFn ?ACT))
            (hasGUEState ?GUIE GUE_PartiallyCoveredState))))
ComputerInput.kif 2582-2588
(=>
    (guiElementUncovered ?ACT ?GUIE)
    (or
        (holdsDuring
            (BeginFn
                (WhenFn ?ACT))
            (hasGUEState ?GUIE GUE_CoveredState))
        (holdsDuring
            (BeginFn
                (WhenFn ?ACT))
            (hasGUEState ?GUIE GUE_PartiallyCoveredState))))
ComputerInput.kif 2649-2655


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 is open source software produced by Articulate Software and its partners