Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| GUISlider(GUI slider) |
| appearance as argument number 1 |
|
| (subclass GUISlider GUIActiveArea) | ComputerInput.kif 1040-1040 | GUI slider is a subclass of GUI active area |
| (documentation GUISlider EnglishLanguage "A GUISlider is an image of a slider on an InterfaceWindow with an indicator (GUISliderIndicator) that a user may move to shift a value up and down or within a list of values.") | ComputerInput.kif 1041-1043 | GUI slider is a subclass of GUI active area |
| (disjoint GUISlider ScrollBar) | ComputerInput.kif 1044-1044 | GUI slider is disjoint from scroll bar |
| (disjoint GUISlider ComputerTouchscreenKeypad) | ComputerInput.kif 1045-1045 | GUI slider is disjoint from computer touchscreen keypad |
| (disjoint GUISlider ComputerTouchscreenKeyboard) | ComputerInput.kif 1046-1046 | GUI slider is disjoint from computer touchscreen keyboard |
| (partTypes GUISlider GUISliderIndicator) | ComputerInput.kif 1057-1057 | Every GUI slider is a part of a GUI slider indicator |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage GUISlider "GUI slider") | domainEnglishFormat.kif 64924-64924 |
|