TreeView Knowledge Base Browser - guiElementPartiallyCovered

appearance as argument number 1

(documentation guiElementPartiallyCovered EnglishLanguage "(guiElementPartiallyCovered ?COVERING ?GUIE) means that the GUIElement ?GUIE has become partially covered by the action ?COVERING. It is still logically positioned at the same place on the screen.")	ComputerInput.kif 2558-2560
(domain guiElementPartiallyCovered 1 PartiallyCoveringGraphicalWindow)	ComputerInput.kif 2556-2556	Le nombre 1 argument de guiElementPartiallyCovered est une instance de PartiallyCoveringGraphicalWindow
(domain guiElementPartiallyCovered 2 GUIElement)	ComputerInput.kif 2557-2557	Le nombre 2 argument de guiElementPartiallyCovered est une instance de GUIElement
(instance guiElementPartiallyCovered BinaryPredicate)	ComputerInput.kif 2555-2555	guiElementPartiallyCovered est une instance de pr�dicat binaire

appearance as argument number 2

(format ChineseLanguage guiElementPartiallyCovered "%1 partially covers %2 ")	domainEnglishFormat.kif 3578-3578
(format ChineseTraditionalLanguage guiElementPartiallyCovered "%1 partially covers %2 ")	domainEnglishFormat.kif 3577-3577
(format EnglishLanguage guiElementPartiallyCovered "%1 partially covers %2")	domainEnglishFormat.kif 3576-3576
(termFormat EnglishLanguage guiElementPartiallyCovered "GUI element partially covered")	domainEnglishFormat.kif 65843-65843

antecedent

(=> (guiElementPartiallyCovered ?ACT ?GUIE) (holdsDuring (EndFn (WhenFn ?ACT)) (hasGUEState ?GUIE GUE_PartiallyCoveredState)))	ComputerInput.kif 2574-2577	guiElementPartiallyCovered PartiallyCoveringGraphicalWindow and GUIElement hasGUEState GUIElement and GUE_PartiallyCoveredState pendant la fin de temps d'existence de PartiallyCoveringGraphicalWindow
(=> (guiElementPartiallyCovered ?ACT ?GUIE) (or (holdsDuring (BeginFn (WhenFn ?ACT)) (hasGUEState ?GUIE GUE_UncoveredState)) (holdsDuring (BeginFn (WhenFn ?ACT)) (hasGUEState ?GUIE GUE_PartiallyCoveredState))))	ComputerInput.kif 2582-2588	guiElementPartiallyCovered PartiallyCoveringGraphicalWindow and GUIElement hasGUEState GUIElement and GUE_UncoveredState pendant le d�but de temps d'existence de PartiallyCoveringGraphicalWindow hasGUEState GUIElement and GUE_PartiallyCoveredState pendant le d�but de temps d'existence de PartiallyCoveringGraphicalWindow

consequent

(=>
    (instance ?UNCOVERING PartiallyCoveringGraphicalWindow)
    (exists (?GUIE)
        (and
            (instance ?GUIE GUIElement)
            (guiElementPartiallyCovered ?UNCOVERING ?GUIE))))

ComputerInput.kif 2564-2569