Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  ActivatingUIElement

Sigma KEE - ActivatingUIElement
ActivatingUIElement

appearance as argument number 1
-------------------------


(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 1846-1846
(subclass ActivatingUIElement UserSignifiedAction) ComputerInput.kif 1845-1845

appearance as argument number 2
-------------------------


(subclass JumpingToActivateUIElement ActivatingUIElement) ComputerInput.kif 1869-1869
(subclass SelectingComputerSubmenu ActivatingUIElement) ComputerInput.kif 1859-1859

antecedent
-------------------------


(=>
    (and
        (instance ?ACT ActivatingUIElement)
        (patient ?ACT ?GUIE)
        (instance ?GUIE GUIElement))
    (and
        (holdsDuring
            (EndFn ?SELECT)
            (hasGUEState ?GUIE GUE_ActiveState))
        (holdsDuring
            (StartFn ?SELECT)
            (not
                (hasGUEState ?GUIE GUE_ActiveState)))))
ComputerInput.kif 1848-1857


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners