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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - ScrollBarBar

appearance as argument number 1

(disjoint ScrollBarBar ComputerMenu) ComputerInput.kif 1005-1005 ScrollBarBar is disjoint from ComputerMenu
(disjoint ScrollBarBar ComputerTouchscreenKeyboard) ComputerInput.kif 1007-1007 ScrollBarBar is disjoint from ComputerTouchscreenKeyboard
(disjoint ScrollBarBar ComputerTouchscreenKeypad) ComputerInput.kif 1006-1006 ScrollBarBar is disjoint from ComputerTouchscreenKeypad
(disjoint ScrollBarBar ScrollBar) ComputerInput.kif 1004-1004 ScrollBarBar is disjoint from ScrollBar
(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 1000-1002
(partTypes ScrollBarBar ScrollBar) ComputerInput.kif 1003-1003 Every ScrollBarBar is a part of a ScrollBar
(subclass ScrollBarBar GUIActiveArea) ComputerInput.kif 999-999 ScrollBarBar is a subclass of GUIActiveArea

appearance as argument number 2

(disjoint GUISliderIndicator ScrollBarBar) ComputerInput.kif 1072-1072 GUISliderIndicator is disjoint from ScrollBarBar
(disjoint ScrollBarArrowButton ScrollBarBar) ComputerInput.kif 1015-1015 ScrollBarArrowButton is disjoint from ScrollBarBar

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