Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Cursor(cursor) |  | cursor, pointer |
| appearance as argument number 1 |
|
|
| (subclass Cursor GUIElement) | ComputerInput.kif 1062-1062 | Cursor is a subclass of GUI element |
| (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 1063-1067 | Cursor is a subclass of GUI element |
| (disjoint Cursor InterfaceWindow) | ComputerInput.kif 1098-1098 | Cursor is disjoint from interface window |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?ACT DraggingWithCursor) (patient ?ACT ?CURSOR) (instance ?CURSOR Cursor)) (instance ?CURSOR MouseCursor)) |
ComputerInput.kif 1769-1774 | If X is an instance of dragging with cursor, Y is a patient of X, and Y is an instance of cursor, then Y is an instance of mouse cursor |
| (=> (and (instance ?UNCOVER UncoveringGraphicalWindow) (patient ?UNCOVER ?WINDOW) (instance ?WINDOW InterfaceWindow) (properPart ?CURSOR ?WINDOW) (instance ?CURSOR Cursor)) (guiElementUncovered ?UNCOVER ?WINDOW)) |
ComputerInput.kif 2439-2446 | If X is an instance of uncovering graphical window, Y is a patient of X, Y is an instance of interface window, Z is a proper part of Y, and Z is an instance of cursor, then X uncovers Y |
| consequent |
|
|
| (=> (instance ?ACT MovingCursor) (exists (?GUIE) (and (patient ?ACT ?GUIE) (instance ?GUIE Cursor)))) |
ComputerInput.kif 1748-1753 | If X is an instance of moving cursor, then there exists Y such that Y is a patient of X and Y is an instance of cursor |
| (=> (instance ?ACT DraggingWithCursor) (exists (?GUIE) (and (patient ?ACT ?GUIE) (instance ?GUIE GUIActiveArea) (not (instance ?GUIE Cursor))))) |
ComputerInput.kif 1778-1784 | If X is an instance of dragging with cursor, then there exists Y such that Y is a patient of X, Y is an instance of GUI active area, and Y is not an instance of cursor |
| statement |
|
|
| (not (and (instance ?CURSOR Cursor) (hasGUEState ?CURSOR GUE_SelectedState))) |
ComputerInput.kif 2242-2245 | ~{ X is an instance of cursor } or ~{ X has state GUE selected state } |
|