GraphicalSubMenu
|
|
appearance as argument number 1 |
(documentation GraphicalSubMenu EnglishLanguage "A GraphicalSubMenu is a GraphicalComputerMenu that appears when a user either makes a GraphicalMenuItem the active area or selects an appropriate menu item.") | ComputerInput.kif 914-916 | |
(subclass GraphicalSubMenu GraphicalComputerMenu) | ComputerInput.kif 913-913 | GraphicalSubMenu est une sous-classe de GraphicalComputerMenu |
appearance as argument number 2 |
(termFormat EnglishLanguage GraphicalSubMenu "graphical sub menu") | domainEnglishFormat.kif 64954-64954 |
antecedent |
(=> (instance ?SUB GraphicalSubMenu) (exists (?MENU) (and (instance ?MENU GraphicalComputerMenu) (accessibleFromMenu ?SUB ?MENU)))) |
ComputerInput.kif 918-923 |
|
(=> (instance ?SUB GraphicalSubMenu) (exists (?MENUITEM) (and (instance ?MENUITEM GraphicalMenuItem) (accessibleFromMenuItem ?SUB ?MENUITEM)))) |
ComputerInput.kif 1153-1158 |
|