|
|
   Cursor
|
|
|
| appearance as argument number 1 |
|
|
| (disjoint Cursor InterfaceWindow) | ComputerInput.kif 1081-1081 | disjoint Cursor and InterfaceWindow |
| (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 1046-1050 | |
| (subclass Cursor GUIElement) | ComputerInput.kif 1045-1045 | subclass Cursor and GUIElement |
| appearance as argument number 2 |
|
|
| (subclass MouseCursor Cursor) | ComputerInput.kif 1058-1058 | subclass MouseCursor and Cursor |
| (subclass TextCursor Cursor) | ComputerInput.kif 1053-1053 | subclass TextCursor and Cursor |
| antecedent |
|
|
| (=> (and (instance ?ACT DraggingWithCursor) (patient ?ACT ?CURSOR) (instance ?CURSOR Cursor)) (instance ?CURSOR MouseCursor)) |
ComputerInput.kif 1750-1755 | |
| (=> (and (instance ?UNCOVER UncoveringGraphicalWindow) (patient ?UNCOVER ?WINDOW) (instance ?WINDOW InterfaceWindow) (properPart ?CURSOR ?WINDOW) (instance ?CURSOR Cursor)) (guiElementUncovered ?UNCOVER ?WINDOW)) |
ComputerInput.kif 2420-2427 |
| consequent |
|
|
| (=> (instance ?ACT DraggingWithCursor) (exists (?GUIE) (and (patient ?ACT ?GUIE) (instance ?GUIE GUIActiveArea) (not (instance ?GUIE Cursor))))) |
ComputerInput.kif 1759-1765 | |
| (=> (instance ?ACT MovingCursor) (exists (?GUIE) (and (patient ?ACT ?GUIE) (instance ?GUIE Cursor)))) |
ComputerInput.kif 1729-1734 |
| statement |
|
|
| (not (and (instance ?CURSOR Cursor) (hasGUEState ?CURSOR GUE_SelectedState))) |
ComputerInput.kif 2223-2226 | ~{ instance GUIElement and Cursor } ~{ hasGUEState GUIElement and GUE_SelectedState } |
|
|
|