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

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


(subclass JumpingToActivateUIElement ActivatingUIElement) ComputerInput.kif 1834-1834
(subclass SelectingComputerSubmenu ActivatingUIElement) ComputerInput.kif 1824-1824

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 1813-1822


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