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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - GUE_SelectedState
GUE_SelectedState

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


(documentation GUE_SelectedState EnglishLanguage "A GUIElement has a GUE_SelectedState if a SelectingActiveArea action is performed with it as the patient. This causes the program controlling the element to take the action that selecting the element is mapped to. After the action has been initiated, unless the action causes a different element to become active or changes the state of the element, the element reverts to GUE_ActiveState. The state of a GUI element normally changes to selected if the element had been in the GUE_ActiveState and it was clicked, double-clicked, the enter key was hit, or some similar graphical action was taken to select it.") ComputerInput.kif 1734-1736
(instance GUE_SelectedState GUElementState) ComputerInput.kif 1733-1733 GUE_SelectedState is an instance of GUElementState

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


(contraryAttribute GUE_CoveredState GUE_SelectedState) ComputerInput.kif 1737-1737 GUE_CoveredState is the opposite of GUE_SelectedState

consequent
-------------------------


(=>
    (and
        (instance ?SELECT SelectingActiveArea)
        (patient ?SELECT ?ELEMENT)
        (instance ?ELEMENT GUIActiveArea))
    (holdsDuring
        (BeginFn ?SELECT)
        (not
            (hasGUEState ?ELEMENT GUE_SelectedState))))
ComputerInput.kif 1753-1760
(=>
    (and
        (instance ?SELECT SelectingActiveArea)
        (patient ?SELECT ?ELEMENT)
        (instance ?ELEMENT GUIActiveArea))
    (holdsDuring
        (EndFn ?SELECT)
        (hasGUEState ?ELEMENT GUE_SelectedState)))
ComputerInput.kif 1765-1772

statement
-------------------------


(not
    (and
        (instance ?CURSOR Cursor)
        (hasGUEState ?CURSOR GUE_SelectedState)))
ComputerInput.kif 1776-1779 ~{ A GUIElement is an instance of Cursor } or ~{ the GUIElement has state GUE_SelectedState }


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



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