SelectingComputerSubmenu
|
|
appearance as argument number 1 |
(documentation SelectingComputerSubmenu EnglishLanguage "A UserSignifiedAction instructing a ComputerProgram to allow user interaction with a chosen submenu.") | ComputerInput.kif 2280-2281 | |
(subclass SelectingComputerSubmenu ActivatingUIElement) | ComputerInput.kif 2279-2279 |
appearance as argument number 2 |
(termFormat EnglishLanguage SelectingComputerSubmenu "selecting computer submenu") | domainEnglishFormat.kif 65472-65472 |
antecedent |
(=> (and (instance ?SELECT SelectingComputerSubmenu) (patient ?SELECT ?SUBMENU) (instance ?SUBMENU GUIElement)) (instance ?SUBMENU ComputerMenu)) |
ComputerInput.kif 2283-2288 |