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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ScrollBarLeftArrowButton
ScrollBarLeftArrowButton

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


(disjoint ScrollBarLeftArrowButton ScrollBarRightArrowButton) ComputerInput.kif 1003-1003 ScrollBarLeftArrowButton 和 % 2 是 disjoint
(documentation ScrollBarLeftArrowButton EnglishLanguage "A ScrollBarLeftArrowButton 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 to the left in cases in which the logical image is wider than the portion displayed in the window. The image may be pure text or may be graphics.") ComputerInput.kif 998-1001
(partTypes ScrollBarLeftArrowButton HorizontalScrollBar) ComputerInput.kif 1002-1002 每个 ScrollBarLeftArrowButtonHorizontalScrollBarpart
(subclass ScrollBarLeftArrowButton ScrollBarArrowButton) ComputerInput.kif 997-997 ScrollBarLeftArrowButtonScrollBarArrowButtonsubclass

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


(disjoint ScrollBarDownArrowButton ScrollBarLeftArrowButton) ComputerInput.kif 1022-1022 ScrollBarDownArrowButton 和 % 2 是 disjoint
(disjoint ScrollBarUpArrowButton ScrollBarLeftArrowButton) ComputerInput.kif 1012-1012 ScrollBarUpArrowButton 和 % 2 是 disjoint
(termFormat EnglishLanguage ScrollBarLeftArrowButton "scroll bar left arrow button") domainEnglishFormat.kif 65457-65457


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