guiElementPartiallyCovered - Sigma Knowledge base Browser

appearance as argument number 1

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

appearance as argument number 2

(format EnglishLanguage guiElementPartiallyCovered "%1 partially covers %2")	domainEnglishFormat.kif 3574-3574
(format ChineseTraditionalLanguage guiElementPartiallyCovered "%1 partially covers %2 ")	domainEnglishFormat.kif 3575-3575
(format ChineseLanguage guiElementPartiallyCovered "%1 partially covers %2 ")	domainEnglishFormat.kif 3576-3576
(termFormat EnglishLanguage guiElementPartiallyCovered "GUI element partially covered")	domainEnglishFormat.kif 65859-65859

antecedent

(=> (guiElementPartiallyCovered ?ACT ?GUIE) (holdsDuring (EndFn (WhenFn ?ACT)) (hasGUEState ?GUIE GUE_PartiallyCoveredState)))	ComputerInput.kif 2590-2593	If X partially covers Y, then Y has state GUE partially covered state holds during the end of the time of existence of X
(=> (guiElementPartiallyCovered ?ACT ?GUIE) (or (holdsDuring (BeginFn (WhenFn ?ACT)) (hasGUEState ?GUIE GUE_UncoveredState)) (holdsDuring (BeginFn (WhenFn ?ACT)) (hasGUEState ?GUIE GUE_PartiallyCoveredState))))	ComputerInput.kif 2598-2604	If X partially covers Y, then Y has state GUE uncovered state holds during the beginning of the time of existence of X or Y has state GUE partially covered state holds during the beginning of the time of existence of X

consequent

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