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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ScrollBar
ScrollBar(scroll bar)

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


(disjoint ScrollBar GUIButton) ComputerInput.kif 952-952 Scroll bar is disjoint from GUI button
(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 947-950
(subclass ScrollBar GUIActiveArea) ComputerInput.kif 946-946 Scroll bar is a subclass of GUI active area

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


(disjoint ComputerMenu ScrollBar) ComputerInput.kif 951-951 Computer menu is disjoint from scroll bar
(disjoint GUISlider ScrollBar) ComputerInput.kif 1028-1028 GUI slider is disjoint from scroll bar
(disjoint GUISliderIndicator ScrollBar) ComputerInput.kif 1043-1043 GUI slider indicator is disjoint from scroll bar
(disjoint ScrollBarBar ScrollBar) ComputerInput.kif 976-976 Scroll bar bar is disjoint from scroll bar
(partTypes ScrollBarArrowButton ScrollBar) ComputerInput.kif 986-986 Every scroll bar arrow button is a part of a scroll bar
(partTypes ScrollBarBar ScrollBar) ComputerInput.kif 975-975 Every scroll bar bar is a part of a scroll bar
(subclass HorizontalScrollBar ScrollBar) ComputerInput.kif 958-958 Horizontal scroll bar is a subclass of scroll bar
(subclass VerticalScrollBar ScrollBar) ComputerInput.kif 964-964 Vertical scroll bar is a subclass of scroll bar
(termFormat EnglishLanguage ScrollBar "scroll bar") domainEnglishFormat.kif 65453-65453


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