Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| TextCursor(text cursor) |
| appearance as argument number 1 |
|
| (subclass TextCursor Cursor) | ComputerInput.kif 1070-1070 | Text cursor is a subclass of cursor |
| (documentation TextCursor EnglishLanguage "A TextCursor is a Cursor that locates an active area for inserting or deleting text and is more limited in its movement than a MouseCursor. Both a mouse cursor and a text cursor may be visible at the same time.") | ComputerInput.kif 1071-1073 | Text cursor is a subclass of cursor |
| appearance as argument number 2 |
|
|
| (disjoint MouseCursor TextCursor) | ComputerInput.kif 1079-1079 | Mouse cursor is disjoint from text cursor |
| (termFormat EnglishLanguage TextCursor "text cursor") | domainEnglishFormat.kif 65596-65596 | Mouse cursor is disjoint from text cursor |
|