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

appearance as argument number 2

(disjoint ScrollBar GUIButton) ComputerInput.kif 951-951
(disjoint TextBox GUIButton) ComputerInput.kif 1104-1104
(subclass GUIRadioButton GUIButton) ComputerInput.kif 939-939
(subclass ScrollBarArrowButton GUIButton) ComputerInput.kif 980-980

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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