| Cursor(cursor) | | cursor, pointer |
| appearance as argument number 1 |
|
|
| (disjoint Cursor InterfaceWindow) | ComputerInput.kif 1082-1082 | Cursor is disjoint from interface window |
| (documentation Cursor EnglishLanguage "A Cursor is a GUIElement designed for a user to move around a computer screen. A cursor can have different visual forms and may change in appearance depending upon the current type of graphical interaction. A TextCursor 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 1047-1051 | Cursor is disjoint from interface window |
| (subclass Cursor GUIElement) | ComputerInput.kif 1046-1046 | Cursor is a subclass of GUI element |
| appearance as argument number 2 |
|
|
| (subclass MouseCursor Cursor) | ComputerInput.kif 1059-1059 | Mouse cursor is a subclass of cursor |
| (subclass TextCursor Cursor) | ComputerInput.kif 1054-1054 | Text cursor is a subclass of cursor |
| (termFormat EnglishLanguage Cursor "cursor") | domainEnglishFormat.kif 64775-64775 | Text cursor is a subclass of cursor |
| antecedent |
|
|
| (=> (and (instance ?ACT DraggingWithCursor) (patient ?ACT ?CURSOR) (instance ?CURSOR Cursor)) (instance ?CURSOR MouseCursor)) |
ComputerInput.kif 1753-1758 |
|
| (=> (and (instance ?UNCOVER UncoveringGraphicalWindow) (patient ?UNCOVER ?WINDOW) (instance ?WINDOW InterfaceWindow) (properPart ?CURSOR ?WINDOW) (instance ?CURSOR Cursor)) (guiElementUncovered ?UNCOVER ?WINDOW)) |
ComputerInput.kif 2423-2430 |
|
| consequent |
|
|
| (=> (instance ?ACT DraggingWithCursor) (exists (?GUIE) (and (patient ?ACT ?GUIE) (instance ?GUIE GUIActiveArea) (not (instance ?GUIE Cursor))))) |
ComputerInput.kif 1762-1768 |
|
| (=> (instance ?ACT MovingCursor) (exists (?GUIE) (and (patient ?ACT ?GUIE) (instance ?GUIE Cursor)))) |
ComputerInput.kif 1732-1737 |
|
| statement |
|
|
| (not (and (instance ?CURSOR Cursor) (hasGUEState ?CURSOR GUE_SelectedState))) |
ComputerInput.kif 2226-2229 | ~{ A GUI element is an instance of cursor } or ~{ the GUI element has state GUE selected state } |
|
|
|