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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ScrollBarDownArrowButton
ScrollBarDownArrowButton(scroll bar down arrow button)

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


(disjoint ScrollBarDownArrowButton ScrollBarLeftArrowButton) ComputerInput.kif 1022-1022 Scroll bar down arrow button is disjoint from scroll bar left arrow button
(disjoint ScrollBarDownArrowButton ScrollBarRightArrowButton) ComputerInput.kif 1021-1021 Scroll bar down arrow button is disjoint from scroll bar right arrow button
(disjoint ScrollBarDownArrowButton ScrollBarUpArrowButton) ComputerInput.kif 1020-1020 Scroll bar down arrow button is disjoint from scroll bar up arrow button
(documentation ScrollBarDownArrowButton EnglishLanguage "A ScrollBarDownArrowButton is an image of an arrow on an ScrollBar that a user may click on or hold down to shift the image in the window downward 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 1015-1018 Scroll bar down arrow button is disjoint from scroll bar up arrow button
(partTypes ScrollBarDownArrowButton VerticalScrollBar) ComputerInput.kif 1019-1019 Every scroll bar down arrow button is a part of a vertical scroll bar
(subclass ScrollBarDownArrowButton ScrollBarArrowButton) ComputerInput.kif 1014-1014 Scroll bar down arrow button is a subclass of scroll bar arrow button

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


(termFormat EnglishLanguage ScrollBarDownArrowButton "scroll bar down arrow button") domainEnglishFormat.kif 65479-65479


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