|
|
   GUICheckBox
|
|
|
| appearance as argument number 1 |
|
|
| (disjoint GUICheckBox GUIRadioButton) | ComputerInput.kif 1126-1126 | GUICheckBox ist dijunkt von GUIRadioButton %n{nicht} |
| (subclass GUICheckBox GUIActiveArea) | ComputerInput.kif 1116-1116 | GUICheckBox ist eine teilkategorie von GUIActiveArea |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage GUICheckBox "GUI check box") | domainEnglishFormat.kif 64944-64944 |
|
|
|