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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ScrollBarBar
ScrollBarBar(scroll bar bar)

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


(disjoint ScrollBarBar ComputerMenu) ComputerInput.kif 977-977 Scroll bar bar is disjoint from computer menu
(disjoint ScrollBarBar ComputerTouchscreenKeyboard) ComputerInput.kif 979-979 Scroll bar bar is disjoint from computer touchscreen keyboard
(disjoint ScrollBarBar ComputerTouchscreenKeypad) ComputerInput.kif 978-978 Scroll bar bar is disjoint from computer touchscreen keypad
(disjoint ScrollBarBar ScrollBar) ComputerInput.kif 976-976 Scroll bar bar is disjoint from scroll bar
(documentation ScrollBarBar EnglishLanguage "A ScrollBarBar is an image of an indicator on an ScrollBar that a user may move to shift the logical 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 972-974
(partTypes ScrollBarBar ScrollBar) ComputerInput.kif 975-975 Every scroll bar bar is a part of a scroll bar
(subclass ScrollBarBar GUIActiveArea) ComputerInput.kif 971-971 Scroll bar bar is a subclass of GUI active area

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


(disjoint GUISliderIndicator ScrollBarBar) ComputerInput.kif 1044-1044 GUI slider indicator is disjoint from scroll bar bar
(disjoint ScrollBarArrowButton ScrollBarBar) ComputerInput.kif 987-987 Scroll bar arrow button is disjoint from scroll bar bar
(termFormat EnglishLanguage ScrollBarBar "scroll bar bar") domainEnglishFormat.kif 65455-65455


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