guiElementPartiallyCovered - Sigma Knowledge base Browser

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	The number 1 argument of GUI element partially covered is an instance of partially covering graphical window
(domain guiElementPartiallyCovered 2 GUIElement)	ComputerInput.kif 2557-2557	The number 2 argument of GUI element partially covered is an instance of GUI element
(instance guiElementPartiallyCovered BinaryPredicate)	ComputerInput.kif 2555-2555	GUI element partially covered is an instance of binary predicate

appearance as argument number 2

(format ChineseLanguage guiElementPartiallyCovered "%1 partially covers %2 ")	domainEnglishFormat.kif 3572-3572
(format ChineseTraditionalLanguage guiElementPartiallyCovered "%1 partially covers %2 ")	domainEnglishFormat.kif 3571-3571
(format EnglishLanguage guiElementPartiallyCovered "%1 partially covers %2")	domainEnglishFormat.kif 3570-3570
(termFormat EnglishLanguage guiElementPartiallyCovered "GUI element partially covered")	domainEnglishFormat.kif 65896-65896

antecedent

(=> (guiElementPartiallyCovered ?ACT ?GUIE) (holdsDuring (EndFn (WhenFn ?ACT)) (hasGUEState ?GUIE GUE_PartiallyCoveredState)))	ComputerInput.kif 2574-2577	If a partially covering graphical window partially covers a GUI element, then the GUI element has state GUE partially covered state holds during the end of the time of existence of the partially covering graphical window
(=> (guiElementPartiallyCovered ?ACT ?GUIE) (or (holdsDuring (BeginFn (WhenFn ?ACT)) (hasGUEState ?GUIE GUE_UncoveredState)) (holdsDuring (BeginFn (WhenFn ?ACT)) (hasGUEState ?GUIE GUE_PartiallyCoveredState))))	ComputerInput.kif 2582-2588	If a partially covering graphical window partially covers a GUI element, then the GUI element has state GUE uncovered state holds during the beginning of the time of existence of the partially covering graphical window or the GUI element has state GUE partially covered state holds during the beginning of the time of existence of the partially covering graphical window

consequent

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

ComputerInput.kif 2564-2569