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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ScrollBarUpArrowButton
ScrollBarUpArrowButton(scroll bar up arrow button)

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


(disjoint ScrollBarUpArrowButton ScrollBarLeftArrowButton) ComputerInput.kif 1012-1012 Scroll bar up arrow button is disjoint from scroll bar left arrow button
(disjoint ScrollBarUpArrowButton ScrollBarRightArrowButton) ComputerInput.kif 1011-1011 Scroll bar up arrow button is disjoint from scroll bar right arrow button
(documentation ScrollBarUpArrowButton EnglishLanguage "A ScrollBarUpArrowButton 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 upward 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 1006-1009 Scroll bar up arrow button is disjoint from scroll bar right arrow button
(partTypes ScrollBarUpArrowButton VerticalScrollBar) ComputerInput.kif 1010-1010 Every scroll bar up arrow button is a part of a vertical scroll bar
(subclass ScrollBarUpArrowButton ScrollBarArrowButton) ComputerInput.kif 1005-1005 Scroll bar up arrow button is a subclass of scroll bar arrow button

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


(disjoint ScrollBarDownArrowButton ScrollBarUpArrowButton) ComputerInput.kif 1020-1020 Scroll bar down arrow button is disjoint from scroll bar up arrow button
(termFormat EnglishLanguage ScrollBarUpArrowButton "scroll bar up arrow button") domainEnglishFormat.kif 65507-65507 Scroll bar down arrow button is disjoint from scroll bar up arrow button


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