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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - GUISliderIndicator
GUISliderIndicator(GUI slider indicator)

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


(disjoint GUISliderIndicator ComputerMenu) ComputerInput.kif 1042-1042 GUI slider indicator is disjoint from computer menu
(disjoint GUISliderIndicator ScrollBar) ComputerInput.kif 1043-1043 GUI slider indicator is disjoint from scroll bar
(disjoint GUISliderIndicator ScrollBarBar) ComputerInput.kif 1044-1044 GUI slider indicator is disjoint from scroll bar bar
(documentation GUISliderIndicator EnglishLanguage "A GUISliderIndicator is an image of an indicator on an GUISlider that a user may move to shift the image in the window up and down or right and left in cases in which the logical image is larger than the portion displayed in the window. The image may be pure text or may be graphics.") ComputerInput.kif 1037-1040
(subclass GUISliderIndicator GUIActiveArea) ComputerInput.kif 1036-1036 GUI slider indicator is a subclass of GUI active area

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


(partTypes GUISlider GUISliderIndicator) ComputerInput.kif 1041-1041 Every GUI slider is a part of a GUI slider indicator
(termFormat EnglishLanguage GUISliderIndicator "GUI slider indicator") domainEnglishFormat.kif 64922-64922


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 3.0 is open source software produced by Articulate Software and its partners