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



KB Term:  Term intersection
English Word: 

Sigma KEE - ScrollBar
ScrollBar(scroll bar)

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


(subclass ScrollBar GUIActiveArea) ComputerInput.kif 962-962 Scroll bar is a subclass of GUI active area
(documentation ScrollBar EnglishLanguage "A ScrollBar is an image of a slider on an InterfaceWindow with an indicator (ScrollBarBar) 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 963-966 Scroll bar is a subclass of GUI active area
(disjoint ScrollBar GUIButton) ComputerInput.kif 968-968 Scroll bar is disjoint from GUI button

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


(disjoint ComputerMenu ScrollBar) ComputerInput.kif 967-967 Computer menu is disjoint from scroll bar
(subclass HorizontalScrollBar ScrollBar) ComputerInput.kif 974-974 Horizontal scroll bar is a subclass of scroll bar
(subclass VerticalScrollBar ScrollBar) ComputerInput.kif 980-980 Vertical scroll bar is a subclass of scroll bar
(partTypes ScrollBarBar ScrollBar) ComputerInput.kif 991-991 Every scroll bar bar is a part of a scroll bar
(disjoint ScrollBarBar ScrollBar) ComputerInput.kif 992-992 Scroll bar bar is disjoint from scroll bar
(partTypes ScrollBarArrowButton ScrollBar) ComputerInput.kif 1002-1002 Every scroll bar arrow button is a part of a scroll bar
(disjoint GUISlider ScrollBar) ComputerInput.kif 1044-1044 GUI slider is disjoint from scroll bar
(disjoint GUISliderIndicator ScrollBar) ComputerInput.kif 1059-1059 GUI slider indicator is disjoint from scroll bar
(termFormat EnglishLanguage ScrollBar "scroll bar") domainEnglishFormat.kif 65456-65456 GUI slider indicator is disjoint from scroll bar


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners