| 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 | GUI slider indicator is disjoint from scroll bar bar |
| (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 64970-64970 | Every GUI slider is a part of a GUI slider indicator |
|
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