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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - GUIButton
GUIButton(GUI button)

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


(disjoint GUIButton ComputerKeyboardKey) ComputerInput.kif 936-936 GUI button is disjoint from computer keyboard key
(disjoint GUIButton ComputerTouchscreenKeyboard) ComputerInput.kif 938-938 GUI button is disjoint from computer touchscreen keyboard
(disjoint GUIButton ComputerTouchscreenKeypad) ComputerInput.kif 937-937 GUI button is disjoint from computer touchscreen keypad
(documentation GUIButton EnglishLanguage "A GUIButton is an image of a button on a GUIElement that a user may click on or ''hold down'' to indicate a UserSignifiedAction. The button's graphical appearance changes once it is selected. An icon of a ComputerKeyboardKey is not considered to be a GUIButton. A GUIButton may have labeling text or symbol displayed on or adjacent it. The active area for selecting a GUI button may be the area of the button itself or may include the area of text labeling the box.") ComputerInput.kif 930-935 GUI button is disjoint from computer touchscreen keypad
(subclass GUIButton ComputerInputButton) ComputerInput.kif 929-929 GUI button is a subclass of computer input button
(subclass GUIButton GUIActiveArea) ComputerInput.kif 928-928 GUI button is a subclass of GUI active area

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


(disjoint ScrollBar GUIButton) ComputerInput.kif 952-952 Scroll bar is disjoint from GUI button
(disjoint TextBox GUIButton) ComputerInput.kif 1105-1105 Text box is disjoint from GUI button
(subclass GUIRadioButton GUIButton) ComputerInput.kif 940-940 GUI radio button is a subclass of GUI button
(subclass ScrollBarArrowButton GUIButton) ComputerInput.kif 981-981 Scroll bar arrow button is a subclass of GUI button
(termFormat EnglishLanguage GUIButton "GUI button") domainEnglishFormat.kif 64966-64966 Scroll bar arrow button is a subclass of GUI 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