GraphicalComputerMenu - Sigma Knowledge base Browser

appearance as argument number 1

(subclass GraphicalComputerMenu ComputerMenu)	ComputerInput.kif 901-901	Graphical computer menu is a subclass of computer menu
(subclass GraphicalComputerMenu GUIActiveArea)	ComputerInput.kif 902-902	Graphical computer menu is a subclass of GUI active area
(subclass GraphicalComputerMenu UIElement)	ComputerInput.kif 903-903	Graphical computer menu is a subclass of UI element
(documentation GraphicalComputerMenu EnglishLanguage "A GraphicalComputerMenu is a ComputerMenu that displays a user's options and permits the user to select one or more of the options in a graphical manner and usually using a keyboard as well.")	ComputerInput.kif 904-906	Graphical computer menu is a subclass of UI element
(disjoint GraphicalComputerMenu ComputerTouchscreenKeypad)	ComputerInput.kif 907-907	Graphical computer menu is disjoint from computer touchscreen keypad
(disjoint GraphicalComputerMenu ComputerTouchscreenKeyboard)	ComputerInput.kif 908-908	Graphical computer menu is disjoint from computer touchscreen keyboard
(partTypes GraphicalComputerMenu GraphicalMenuItem)	ComputerInput.kif 1166-1166	Every graphical computer menu is a part of a graphical menu item

appearance as argument number 2

(subclass ListBox GraphicalComputerMenu)	ComputerInput.kif 913-913	List box is a subclass of graphical computer menu
(subclass DropDownList GraphicalComputerMenu)	ComputerInput.kif 917-917	Drop down list is a subclass of graphical computer menu
(subclass ComboListTextBox GraphicalComputerMenu)	ComputerInput.kif 923-923	Combo list text box is a subclass of graphical computer menu
(subclass GraphicalSubMenu GraphicalComputerMenu)	ComputerInput.kif 929-929	Graphical sub menu is a subclass of graphical computer menu
(partTypes GraphicalMenuItem GraphicalComputerMenu)	ComputerInput.kif 1165-1165	Every graphical menu item is a part of a graphical computer menu
(termFormat EnglishLanguage GraphicalComputerMenu "graphical computer menu")	domainEnglishFormat.kif 64953-64953	Every graphical menu item is a part of a graphical computer menu

consequent

(=>
    (instance ?SUB GraphicalSubMenu)
    (exists (?MENU)
        (and
            (instance ?MENU GraphicalComputerMenu)
            (accessibleFromMenu ?SUB ?MENU))))