| GraphicalUserInterface(graphical user interface) | | GUI, graphical_user_interface |
| appearance as argument number 1 |
|
|
| (documentation GraphicalUserInterface EnglishLanguage "A GraphicalUserInterface is a UserInterface that allows users to interact with electronic devices with images rather than text commands.") | ComputerInput.kif 838-839 | |
| (subclass GraphicalUserInterface UserInterface) | ComputerInput.kif 837-837 | Graphical user interface is a subclass of user interface |
| appearance as argument number 2 |
|
|
| (abbreviation "GUI" GraphicalUserInterface) | ComputerInput.kif 840-840 | "GUI" is an abbreviation of graphical user interface |
| (termFormat EnglishLanguage GraphicalUserInterface "graphical user interface") | domainEnglishFormat.kif 65001-65001 | "GUI" is an abbreviation of graphical user interface |
|
|
|