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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - GUIButton

appearance as argument number 1

(disjoint GUIButton ComputerKeyboardKey) ComputerInput.kif 936-936
(disjoint GUIButton ComputerTouchscreenKeyboard) ComputerInput.kif 938-938
(disjoint GUIButton ComputerTouchscreenKeypad) ComputerInput.kif 937-937
(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
(subclass GUIButton ComputerInputButton) ComputerInput.kif 929-929
(subclass GUIButton GUIActiveArea) ComputerInput.kif 928-928

appearance as argument number 2

(disjoint ScrollBar GUIButton) ComputerInput.kif 952-952
(disjoint TextBox GUIButton) ComputerInput.kif 1105-1105
(subclass GUIRadioButton GUIButton) ComputerInput.kif 940-940
(subclass ScrollBarArrowButton GUIButton) ComputerInput.kif 981-981
(termFormat EnglishLanguage GUIButton "GUI button") domainEnglishFormat.kif 64930-64930

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