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 964-964 disjoint GUIButton and ComputerKeyboardKey
(disjoint GUIButton ComputerTouchscreenKeyboard) ComputerInput.kif 966-966 disjoint GUIButton and ComputerTouchscreenKeyboard
(disjoint GUIButton ComputerTouchscreenKeypad) ComputerInput.kif 965-965 disjoint GUIButton and ComputerTouchscreenKeypad
(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 958-963
(subclass GUIButton ComputerInputButton) ComputerInput.kif 957-957 subclass GUIButton and ComputerInputButton
(subclass GUIButton GUIActiveArea) ComputerInput.kif 956-956 subclass GUIButton and GUIActiveArea

appearance as argument number 2

(disjoint ScrollBar GUIButton) ComputerInput.kif 980-980 disjoint ScrollBar and GUIButton
(disjoint TextBox GUIButton) ComputerInput.kif 1133-1133 disjoint TextBox and GUIButton
(subclass GUIRadioButton GUIButton) ComputerInput.kif 968-968 subclass GUIRadioButton and GUIButton
(subclass ScrollBarArrowButton GUIButton) ComputerInput.kif 1009-1009 subclass ScrollBarArrowButton and GUIButton

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