Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| GraphicalMenuItem(graphical menu item) |
| appearance as argument number 1 |
|
| (subclass GraphicalMenuItem ComputerMenuItem) | ComputerInput.kif 1159-1159 | Graphical menu item is a subclass of computer menu item |
| (subclass GraphicalMenuItem GUIActiveArea) | ComputerInput.kif 1160-1160 | Graphical menu item is a subclass of GUI active area |
| (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 1161-1163 | Graphical menu item is a subclass of GUI active area |
| (partTypes GraphicalMenuItem GraphicalComputerMenu) | ComputerInput.kif 1165-1165 | Every graphical menu item is a part of a graphical computer menu |
| appearance as argument number 2 |
|
|
| (partTypes GraphicalComputerMenu GraphicalMenuItem) | ComputerInput.kif 1166-1166 | Every graphical computer menu is a part of a graphical menu item |
| (termFormat EnglishLanguage GraphicalMenuItem "graphical menu item") | domainEnglishFormat.kif 64954-64954 | 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 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 |
|