TreeView Knowledge Base Browser

appearance as argument number 1

(subclass TextBox GUIElement)	ComputerInput.kif 1117-1117	Text box is a subclass of GUI element
(documentation TextBox EnglishLanguage "A TextBox is a (normally rectangular) GUIElement which displays and/ or accepts input of text.")	ComputerInput.kif 1118-1119	Text box is a subclass of GUI element
(disjoint TextBox ComputerMenu)	ComputerInput.kif 1120-1120	Text box is disjoint from computer menu
(disjoint TextBox GUIButton)	ComputerInput.kif 1121-1121	Text box is disjoint from GUI button

appearance as argument number 2

(subclass TextInputBox TextBox)	ComputerInput.kif 1124-1124	Text input box is a subclass of text box
(subclass TextOutputBox TextBox)	ComputerInput.kif 1129-1129	Text output box is a subclass of text box
(termFormat EnglishLanguage TextBox "text box")	domainEnglishFormat.kif 65595-65595	Text output box is a subclass of text box