TreeView Knowledge Base Browser - ActivatingUIElement

appearance as argument number 1

(subclass ActivatingUIElement UserSignifiedAction)	ComputerInput.kif 2278-2278	Activating UI element is a subclass of user signified action
(documentation ActivatingUIElement EnglishLanguage "A UserSignifiedAction causing a program to make a UIElement the ``active'' element. Making an element active means that user can interact with it -- follow a link, select a menu option, drag the element on the screen, ``push'' a button, etc. The system may display the %&UIElement in a different manner signifying that it is selected.")	ComputerInput.kif 2279-2282	Activating UI element is a subclass of user signified action

appearance as argument number 2

(subclass SelectingComputerSubmenu ActivatingUIElement)	ComputerInput.kif 2295-2295	Selecting computer submenu is a subclass of activating UI element
(subclass JumpingToActivateUIElement ActivatingUIElement)	ComputerInput.kif 2306-2306	Jumping to activate UI element is a subclass of activating UI element
(termFormat EnglishLanguage ActivatingUIElement "activating UI element")	domainEnglishFormat.kif 64407-64407	Jumping to activate UI element is a subclass of activating UI element

antecedent

(=>
    (and
        (instance ?ACT ActivatingUIElement)
        (patient ?ACT ?GUIE)
        (instance ?GUIE GUIElement))
    (and
        (holdsDuring
            (EndFn ?ACT)
            (hasGUEState ?GUIE GUE_ActiveState))
        (holdsDuring
            (BeginFn ?ACT)
            (not
                (hasGUEState ?GUIE GUE_ActiveState)))))