Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| TextualComputerMenu(textual computer menu) |
| appearance as argument number 1 |
|
| (subclass TextualComputerMenu ComputerMenu) | ComputerInput.kif 873-873 | Textual computer menu is a subclass of computer menu |
| (documentation TextualComputerMenu EnglishLanguage "A TextualComputerMenu is a ComputerMenu that textually describes a user's options and permits the user to select one of the options by typing the appropriate thing into the computer.") | ComputerInput.kif 874-876 | Textual computer menu is a subclass of computer menu |
| (disjoint TextualComputerMenu GUIElement) | ComputerInput.kif 885-885 | Textual computer menu is disjoint from GUI element |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage TextualComputerMenu "textual computer menu") | domainEnglishFormat.kif 65600-65600 |
|