Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| GraphicalSubMenu(graphical sub menu) |  | cascading_menu, hierarchical_menu, submenu |
| appearance as argument number 1 |
|
|
| (subclass GraphicalSubMenu GraphicalComputerMenu) | ComputerInput.kif 929-929 | Graphical sub menu is a subclass of graphical computer menu |
| (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 930-932 | Graphical sub menu is a subclass of graphical computer menu |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage GraphicalSubMenu "graphical sub menu") | domainEnglishFormat.kif 64955-64955 |
| antecedent |
|
|
| (=> (instance ?SUB GraphicalSubMenu) (exists (?MENU) (and (instance ?MENU GraphicalComputerMenu) (accessibleFromMenu ?SUB ?MENU)))) |
ComputerInput.kif 934-939 | If X is an instance of graphical sub menu, then there exists Y such that Y is an instance of graphical computer menu and X is accessible from Y |
| (=> (instance ?SUB GraphicalSubMenu) (exists (?MENUITEM) (and (instance ?MENUITEM GraphicalMenuItem) (accessibleFromMenuItem ?SUB ?MENUITEM)))) |
ComputerInput.kif 1169-1174 | If X is an instance of graphical sub menu, then there exists Y such that Y is an instance of graphical menu item and X is accessible from Y |
|