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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - GUElementState
GUElementState

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


(documentation GUElementState EnglishLanguage "A state possessed by instances of GUIElement. The possible states include GUE_ActiveState, GUE_PassiveState, GUE_DisplayedState, GUE_CoveredState, GUE_UncoveredState, and GUE_PartiallyCoveredState.") ComputerInput.kif 1644-1644
(subclass GUElementState VisualAttribute) ComputerInput.kif 1643-1643

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


(instance GUE_ActiveState GUElementState) ComputerInput.kif 1652-1652
(instance GUE_CoveredState GUElementState) ComputerInput.kif 1819-1819
(instance GUE_DisplayedState GUElementState) ComputerInput.kif 1744-1744
(instance GUE_InPartCoveredState GUElementState) ComputerInput.kif 1875-1875
(instance GUE_MinimizedState GUElementState) ComputerInput.kif 1790-1790
(instance GUE_NonVisibleState GUElementState) ComputerInput.kif 1752-1752
(instance GUE_OffscreenState GUElementState) ComputerInput.kif 1776-1776
(instance GUE_PartiallyCoveredState GUElementState) ComputerInput.kif 1851-1851
(instance GUE_PassiveState GUElementState) ComputerInput.kif 1718-1718
(instance GUE_SelectedState GUElementState) ComputerInput.kif 1902-1902
(instance GUE_TranslucentlyCoveredState GUElementState) ComputerInput.kif 1871-1871
(instance GUE_UncoveredState GUElementState) ComputerInput.kif 1833-1833
(instance MaximizedWindowState GUElementState) ComputerInput.kif 1795-1795
(instance VerticallyMaximizedWindowState GUElementState) ComputerInput.kif 1807-1807

appearance as argument number 3
-------------------------


(domain hasGUEState 2 GUElementState) ComputerInput.kif 1649-1649


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