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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - GUISlider
GUISlider(GUI slider)

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


(disjoint GUISlider ComputerTouchscreenKeyboard) ComputerInput.kif 1030-1030 GUI slider is disjoint from computer touchscreen keyboard
(disjoint GUISlider ComputerTouchscreenKeypad) ComputerInput.kif 1029-1029 GUI slider is disjoint from computer touchscreen keypad
(disjoint GUISlider ScrollBar) ComputerInput.kif 1028-1028 GUI slider is disjoint from scroll bar
(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 1025-1027 GUI slider is disjoint from scroll bar
(partTypes GUISlider GUISliderIndicator) ComputerInput.kif 1041-1041 Every GUI slider is a part of a GUI slider indicator
(subclass GUISlider GUIActiveArea) ComputerInput.kif 1024-1024 GUI slider is a subclass of GUI active area

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


(termFormat EnglishLanguage GUISlider "GUI slider") domainEnglishFormat.kif 64969-64969


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