TreeView Knowledge Base Browser - guiElementCoveredBy

appearance as argument number 1

(documentation guiElementCoveredBy EnglishLanguage "(guiElementCoveredBy ?GUIE1 ?GUIE2) means that the GUIElement ?GUIE1 is completely covered by the GUIElement ?GUIE2.")	ComputerInput.kif 2543-2544
(domain guiElementCoveredBy 1 GUIElement)	ComputerInput.kif 2541-2541	Le nombre 1 argument de guiElementCoveredBy est une instance de GUIElement
(domain guiElementCoveredBy 2 GUIElement)	ComputerInput.kif 2542-2542	Le nombre 2 argument de guiElementCoveredBy est une instance de GUIElement
(instance guiElementCoveredBy AsymmetricRelation)	ComputerInput.kif 2540-2540	guiElementCoveredBy est une instance de relation asym�trique
(instance guiElementCoveredBy BinaryPredicate)	ComputerInput.kif 2539-2539	guiElementCoveredBy est une instance de pr�dicat binaire

appearance as argument number 2

(format ChineseLanguage guiElementCoveredBy "%1 是由 %2 covered ")	domainEnglishFormat.kif 3574-3574
(format ChineseTraditionalLanguage guiElementCoveredBy "%1 是由 %2 covered ")	domainEnglishFormat.kif 3573-3573
(format EnglishLanguage guiElementCoveredBy "%1 is covered by %2")	domainEnglishFormat.kif 3572-3572
(termFormat EnglishLanguage guiElementCoveredBy "GUI element covered by")	domainEnglishFormat.kif 65850-65850

antecedent

(=>
(guiElementCoveredBy ?GUIE_BOTTOM ?GUIE_TOP)
(hasGUEState ?GUIE_BOTTOM GUE_CoveredState))

ComputerInput.kif 2547-2549

consequent

(=>
    (and
        (instance ?COVERING CoveringGUIElement)
        (agent ?COVERING ?GUIE_TOP)
        (patient ?COVERING ?GUIE_BOTTOM)
        (instance ?GUIE_TOP GUIElement)
        (instance ?GUIE_BOTTOM GUIElement))
    (holdsDuring
        (EndFn ?COVERING)
        (or
            (guiElementCoveredBy ?GUIE_BOTTOM ?GUIE_TOP)
            (guiElementPartiallyCoveredBy ?GUIE_BOTTOM ?GUIE_TOP))))

ComputerInput.kif 2597-2607