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	The number 1 argument of GUI element covered by is an instance of GUI element
(domain guiElementCoveredBy 2 GUIElement)	ComputerInput.kif 2542-2542	The number 2 argument of GUI element covered by is an instance of GUI element
(instance guiElementCoveredBy AsymmetricRelation)	ComputerInput.kif 2540-2540	GUI element covered by is an instance of asymmetric relation
(instance guiElementCoveredBy BinaryPredicate)	ComputerInput.kif 2539-2539	GUI element covered by is an instance of binary predicate

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

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