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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - ScrollBar

appearance as argument number 1

(disjoint ScrollBar GUIButton) ComputerInput.kif 980-980 ScrollBar is disjoint from GUIButton
(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 975-978
(subclass ScrollBar GUIActiveArea) ComputerInput.kif 974-974 ScrollBar is a subclass of GUIActiveArea

appearance as argument number 2

(disjoint ComputerMenu ScrollBar) ComputerInput.kif 979-979 ComputerMenu is disjoint from ScrollBar
(disjoint GUISlider ScrollBar) ComputerInput.kif 1056-1056 GUISlider is disjoint from ScrollBar
(disjoint GUISliderIndicator ScrollBar) ComputerInput.kif 1071-1071 GUISliderIndicator is disjoint from ScrollBar
(disjoint ScrollBarBar ScrollBar) ComputerInput.kif 1004-1004 ScrollBarBar is disjoint from ScrollBar
(partTypes ScrollBarArrowButton ScrollBar) ComputerInput.kif 1014-1014 Every ScrollBarArrowButton is a part of a ScrollBar
(partTypes ScrollBarBar ScrollBar) ComputerInput.kif 1003-1003 Every ScrollBarBar is a part of a ScrollBar
(subclass HorizontalScrollBar ScrollBar) ComputerInput.kif 986-986 HorizontalScrollBar is a subclass of ScrollBar
(subclass VerticalScrollBar ScrollBar) ComputerInput.kif 992-992 VerticalScrollBar is a subclass of ScrollBar

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners