GraphicalComputerMenu - Sigma Knowledge base Browser

appearance as argument number 1

(disjoint GraphicalComputerMenu ComputerTouchscreenKeyboard)	ComputerInput.kif 892-892	GraphicalComputerMenu 和 % 2 是 disjoint
(disjoint GraphicalComputerMenu ComputerTouchscreenKeypad)	ComputerInput.kif 891-891	GraphicalComputerMenu 和 % 2 是 disjoint
(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 888-890
(partTypes GraphicalComputerMenu GraphicalMenuItem)	ComputerInput.kif 1150-1150	每个 GraphicalComputerMenu 是 GraphicalMenuItem 的 part
(subclass GraphicalComputerMenu ComputerMenu)	ComputerInput.kif 885-885	GraphicalComputerMenu 是 ComputerMenu 的 subclass
(subclass GraphicalComputerMenu GUIActiveArea)	ComputerInput.kif 886-886	GraphicalComputerMenu 是 GUIActiveArea 的 subclass
(subclass GraphicalComputerMenu UIElement)	ComputerInput.kif 887-887	GraphicalComputerMenu 是 UIElement 的 subclass

appearance as argument number 2

(partTypes GraphicalMenuItem GraphicalComputerMenu)	ComputerInput.kif 1149-1149	每个 GraphicalMenuItem 是 GraphicalComputerMenu 的 part
(subclass ComboListTextBox GraphicalComputerMenu)	ComputerInput.kif 907-907	ComboListTextBox 是 GraphicalComputerMenu 的 subclass
(subclass DropDownList GraphicalComputerMenu)	ComputerInput.kif 901-901	DropDownList 是 GraphicalComputerMenu 的 subclass
(subclass GraphicalSubMenu GraphicalComputerMenu)	ComputerInput.kif 913-913	GraphicalSubMenu 是 GraphicalComputerMenu 的 subclass
(subclass ListBox GraphicalComputerMenu)	ComputerInput.kif 897-897	ListBox 是 GraphicalComputerMenu 的 subclass
(termFormat EnglishLanguage GraphicalComputerMenu "graphical computer menu")	domainEnglishFormat.kif 64950-64950

consequent

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

ComputerInput.kif 918-923