Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  GUE_SelectedState

 Sigma KEE - GUE_SelectedState
GUE_SelectedState(GUE selected state)

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


(instance GUE_SelectedState GUElementState) ComputerInput.kif 2194-2194 GUE selected state is an instance of GU element state
(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 2195-2202 GUE selected state is an instance of GU element state

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


(contraryAttribute GUE_CoveredState GUE_SelectedState) ComputerInput.kif 2203-2203 GUE covered state is the opposite of GUE selected state
(termFormat EnglishLanguage GUE_SelectedState "GUE selected state") domainEnglishFormat.kif 64915-64915 GUE covered state is the opposite of GUE selected state

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


(=>
    (and
        (instance ?SELECT SelectingActiveArea)
        (patient ?SELECT ?ELEMENT)
        (instance ?ELEMENT GUIActiveArea))
    (holdsDuring
        (BeginFn ?SELECT)
        (not
            (hasGUEState ?ELEMENT GUE_SelectedState))))		 ComputerInput.kif 2219-2226 If X is an instance of selecting active area, Y is a patient of X, and Y is an instance of GUI active area, then Y has state GUE selected state holds during the beginning of X
(=>
    (and
        (instance ?SELECT SelectingActiveArea)
        (patient ?SELECT ?ELEMENT)
        (instance ?ELEMENT GUIActiveArea))
    (holdsDuring
        (EndFn ?SELECT)
        (hasGUEState ?ELEMENT GUE_SelectedState)))		 ComputerInput.kif 2231-2238 If X is an instance of selecting active area, Y is a patient of X, and Y is an instance of GUI active area, then Y has state GUE selected state holds during the end of X

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


(not
    (and
        (instance ?CURSOR Cursor)
        (hasGUEState ?CURSOR GUE_SelectedState)))		 ComputerInput.kif 2242-2245 ~{ X is an instance of cursor } or ~{ X has state GUE selected state }


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 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners