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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - GUISliderIndicator
GUISliderIndicator

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


(disjoint GUISliderIndicator ComputerMenu) ComputerInput.kif 1042-1042 GUISliderIndicator 和 % 2 是 disjoint
(disjoint GUISliderIndicator ScrollBar) ComputerInput.kif 1043-1043 GUISliderIndicator 和 % 2 是 disjoint
(disjoint GUISliderIndicator ScrollBarBar) ComputerInput.kif 1044-1044 GUISliderIndicator 和 % 2 是 disjoint
(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 GUISliderIndicatorGUIActiveAreasubclass

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


(partTypes GUISlider GUISliderIndicator) ComputerInput.kif 1041-1041 每个 GUISliderGUISliderIndicatorpart
(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