guiElementCovered - Sigma Knowledge base Browser

appearance as argument number 1

(documentation guiElementCovered EnglishLanguage "(guiElementCovered ?COVERING ?GUIE) means that the GUIElement ?GUIE has become completely covered by the action ?COVERING. It is still logically positioned at the same place on the screen.")	ComputerInput.kif 2517-2519
(domain guiElementCovered 1 CoveringGUIElement)	ComputerInput.kif 2515-2515	The number 1 argument of GUI element covered is an instance of covering GUI element
(domain guiElementCovered 2 GUIElement)	ComputerInput.kif 2516-2516	The number 2 argument of GUI element covered is an instance of GUI element
(instance guiElementCovered BinaryPredicate)	ComputerInput.kif 2514-2514	GUI element covered is an instance of binary predicate

appearance as argument number 2

(format ChineseLanguage guiElementCovered "%1 covers %2 ")	domainEnglishFormat.kif 3564-3564
(format ChineseTraditionalLanguage guiElementCovered "%%1 covers %2 ")	domainEnglishFormat.kif 3563-3563
(format EnglishLanguage guiElementCovered "%1 covers %2")	domainEnglishFormat.kif 3562-3562
(termFormat EnglishLanguage guiElementCovered "GUI element covered")	domainEnglishFormat.kif 65894-65894

antecedent

(=>
    (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

consequent

(=>
    (instance ?COVERING CoveringGUIElement)
    (exists (?GUIE)
        (and
            (instance ?GUIE GUIElement)
            (patient ?COVERING ?GUIE)
            (guiElementCovered ?COVERING ?GUIE))))

ComputerInput.kif 2521-2527