guiElementCovered - Sigma Knowledge base Browser

appearance as argument number 1

(instance guiElementCovered BinaryPredicate)	ComputerInput.kif 2530-2530	GUI element covered is an instance of binary predicate
(domain guiElementCovered 1 CoveringGUIElement)	ComputerInput.kif 2531-2531	The number 1 argument of GUI element covered is an instance of covering GUI element
(domain guiElementCovered 2 GUIElement)	ComputerInput.kif 2532-2532	The number 2 argument of GUI element covered is an instance of GUI element
(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 2533-2535	The number 2 argument of GUI element covered is an instance of GUI element

appearance as argument number 2

(format EnglishLanguage guiElementCovered "%1 covers %2")	domainEnglishFormat.kif 3566-3566
(format ChineseTraditionalLanguage guiElementCovered "%%1 covers %2 ")	domainEnglishFormat.kif 3567-3567
(format ChineseLanguage guiElementCovered "%1 covers %2 ")	domainEnglishFormat.kif 3568-3568
(termFormat EnglishLanguage guiElementCovered "GUI element covered")	domainEnglishFormat.kif 65857-65857

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))))

consequent

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

If X is an instance of covering GUI element, then there exists Y such that Y is an instance of GUI element, Y is a patient of X, and X covers Y