guiElementCoveredBy - Sigma Knowledge base Browser

appearance as argument number 1

(instance guiElementCoveredBy BinaryPredicate)	ComputerInput.kif 2555-2555	GUI element covered by is an instance of binary predicate
(instance guiElementCoveredBy AsymmetricRelation)	ComputerInput.kif 2556-2556	GUI element covered by is an instance of asymmetric relation
(domain guiElementCoveredBy 1 GUIElement)	ComputerInput.kif 2557-2557	The number 1 argument of GUI element covered by is an instance of GUI element
(domain guiElementCoveredBy 2 GUIElement)	ComputerInput.kif 2558-2558	The number 2 argument of GUI element covered by is an instance of GUI element
(documentation guiElementCoveredBy EnglishLanguage "(guiElementCoveredBy ?GUIE1 ?GUIE2) means that the GUIElement ?GUIE1 is completely covered by the GUIElement ?GUIE2.")	ComputerInput.kif 2559-2560	The number 2 argument of GUI element covered by is an instance of GUI element

appearance as argument number 2

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

antecedent

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

If ?GUIE_BOTTOM is covered by ?GUIE_TOP, then ?GUIE_BOTTOM has state GUE covered state

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

If X is an instance of covering GUI element, ?GUIE_TOP is an agent of X, ?GUIE_BOTTOM is a patient of X, ?GUIE_TOP is an instance of GUI element, and ?GUIE_BOTTOM is an instance of GUI element, then ?GUIE_BOTTOM is covered by ?GUIE_TOP or ?GUIE_BOTTOM is partially covered by ?GUIE_TOP holds during the end of X