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 2539-2540
(domain guiElementCoveredBy 1 GUIElement)	ComputerInput.kif 2537-2537
(domain guiElementCoveredBy 2 GUIElement)	ComputerInput.kif 2538-2538
(instance guiElementCoveredBy AsymmetricRelation)	ComputerInput.kif 2536-2536
(instance guiElementCoveredBy BinaryPredicate)	ComputerInput.kif 2535-2535

appearance as argument number 2

(format ChineseLanguage guiElementCoveredBy "%1 是由 %2 covered ")	domainEnglishFormat.kif 3579-3579
(format ChineseTraditionalLanguage guiElementCoveredBy "%1 是由 %2 covered ")	domainEnglishFormat.kif 3578-3578
(format EnglishLanguage guiElementCoveredBy "%1 is covered by %2")	domainEnglishFormat.kif 3577-3577

antecedent

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

ComputerInput.kif 2543-2545

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 2593-2603