GraphicalMenuItem - Sigma Knowledge base Browser

appearance as argument number 1

(documentation GraphicalMenuItem EnglishLanguage "A GraphicalMenuItem is a GUIActiveArea that is also a ComputerMenuItem. It presents one of the user's options and informs the running program if the user selects that option.")	ComputerInput.kif 1145-1147
(partTypes GraphicalMenuItem GraphicalComputerMenu)	ComputerInput.kif 1149-1149	Every graphical menu item is a part of a graphical computer menu
(subclass GraphicalMenuItem ComputerMenuItem)	ComputerInput.kif 1143-1143	Graphical menu item is a subclass of computer menu item
(subclass GraphicalMenuItem GUIActiveArea)	ComputerInput.kif 1144-1144	Graphical menu item is a subclass of GUI active area

appearance as argument number 2

(partTypes GraphicalComputerMenu GraphicalMenuItem)	ComputerInput.kif 1150-1150	Every graphical computer menu is a part of a graphical menu item
(termFormat EnglishLanguage GraphicalMenuItem "graphical menu item")	domainEnglishFormat.kif 64999-64999	Every graphical computer menu is a part of a graphical menu item

consequent

(=>
    (instance ?SUB GraphicalSubMenu)
    (exists (?MENUITEM)
        (and
            (instance ?MENUITEM GraphicalMenuItem)
            (accessibleFromMenuItem ?SUB ?MENUITEM))))

ComputerInput.kif 1153-1158