TreeView Knowledge Base Browser

appearance as argument number 1

(subclass ComputerMenu UIElement)	ComputerInput.kif 862-862	Computer menu is a subclass of UI element
(documentation ComputerMenu EnglishLanguage "A ComputerMenu is an image generated by a computer program of a set of choices tha a user has for interacting with that program in conjunction with a method for the user to input a selection to the program.")	ComputerInput.kif 863-865	Computer menu is a subclass of UI element
(disjoint ComputerMenu ScrollBar)	ComputerInput.kif 967-967	Computer menu is disjoint from scroll bar
(partTypes ComputerMenu ComputerMenuItem)	ComputerInput.kif 1150-1150	Every computer menu is a part of a computer menu item

appearance as argument number 2

(subclass TextualComputerMenu ComputerMenu)	ComputerInput.kif 873-873	Textual computer menu is a subclass of computer menu
(subclass GraphicalComputerMenu ComputerMenu)	ComputerInput.kif 901-901	Graphical computer menu is a subclass of computer menu
(disjoint ScrollBarBar ComputerMenu)	ComputerInput.kif 993-993	Scroll bar bar is disjoint from computer menu
(disjoint ScrollBarArrowButton ComputerMenu)	ComputerInput.kif 1004-1004	Scroll bar arrow button is disjoint from computer menu
(disjoint GUISliderIndicator ComputerMenu)	ComputerInput.kif 1058-1058	GUI slider indicator is disjoint from computer menu
(disjoint TextBox ComputerMenu)	ComputerInput.kif 1120-1120	Text box is disjoint from computer menu
(partTypes ComputerMenuItem ComputerMenu)	ComputerInput.kif 1149-1149	Every computer menu item is a part of a computer menu
(termFormat EnglishLanguage ComputerMenu "computer menu")	domainEnglishFormat.kif 64683-64683	Every computer menu item is a part of a computer menu

appearance as argument number 3

(domain accessibleFromMenu 2 ComputerMenu)

consequent

(=>
    (and
        (instance ?SELECT SelectingComputerSubmenu)
        (patient ?SELECT ?SUBMENU)
        (instance ?SUBMENU GUIElement))
    (instance ?SUBMENU ComputerMenu))