TreeView Knowledge Base Browser - guiElementPartiallyCoveredBy

appearance as argument number 2

(format EnglishLanguage guiElementPartiallyCoveredBy "%1 is partially covered by %2")	domainEnglishFormat.kif 3578-3578
(format ChineseTraditionalLanguage guiElementPartiallyCoveredBy "%1 是由 %2 partially covered ")	domainEnglishFormat.kif 3579-3579
(format ChineseLanguage guiElementPartiallyCoveredBy "%1 是由 %2 partially covered ")	domainEnglishFormat.kif 3580-3580
(termFormat EnglishLanguage guiElementPartiallyCoveredBy "GUI element partially covered by")	domainEnglishFormat.kif 65860-65860

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 2613-2623	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
(=> (and (instance ?COVERING PartiallyCoveringGraphicalWindow) (agent ?COVERING ?GUIE_TOP) (patient ?COVERING ?GUIE_BOTTOM) (instance ?GUIE_TOP GUIElement) (instance ?GUIE_BOTTOM GUIElement)) (holdsDuring (EndFn ?COVERING) (guiElementPartiallyCoveredBy ?GUIE_BOTTOM ?GUIE_TOP)))	ComputerInput.kif 2625-2633	If X is an instance of partially covering graphical window, ?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 partially covered by ?GUIE_TOP holds during the end of X