| GraphicalSubMenu(graphical sub menu) | | cascading_menu, hierarchical_menu, submenu |
| 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 | Graphical sub menu is a subclass of graphical computer menu |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage GraphicalSubMenu "graphical sub menu") | domainEnglishFormat.kif 65000-65000 |
| 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 |
|
|
|
|