Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Highlighting(highlighting) |
| appearance as argument number 1 |
|
| (subclass Highlighting UserSignifiedGraphicalAction) | ComputerInput.kif 2330-2330 | Highlighting is a subclass of user signified graphical action |
| (documentation Highlighting EnglishLanguage "A UserSignifiedAction causing a program to highlight a piece of text, link, image, or other component visible on the screen.") | ComputerInput.kif 2331-2332 | Highlighting is a subclass of user signified graphical action |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Highlighting "highlighting") | domainEnglishFormat.kif 64982-64982 |
|