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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - VerticalScrollBar
VerticalScrollBar(vertical scroll bar)

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


(disjoint VerticalScrollBar HorizontalScrollBar) ComputerInput.kif 969-969 Vertical scroll bar is disjoint from horizontal scroll bar
(documentation VerticalScrollBar EnglishLanguage "A VerticalScrollBar is a vertical image of a slider on an InterfaceWindow with an indicator (ScrollBarBar) that a user may move to shift the image in the window up or down in cases in which the logical image is taller than the portion displayed in the window. The image may be pure text or may be graphics.") ComputerInput.kif 965-968
(subclass VerticalScrollBar ScrollBar) ComputerInput.kif 964-964 Vertical scroll bar is a subclass of scroll bar

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


(partTypes ScrollBarDownArrowButton VerticalScrollBar) ComputerInput.kif 1019-1019 Every scroll bar down arrow button is a part of a vertical scroll bar
(partTypes ScrollBarUpArrowButton VerticalScrollBar) ComputerInput.kif 1010-1010 Every scroll bar up arrow button is a part of a vertical scroll bar
(termFormat EnglishLanguage VerticalScrollBar "vertical scroll bar") domainEnglishFormat.kif 65690-65690


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