Cursor |
appearance as argument number 1 |
(disjoint Cursor InterfaceWindow) | ComputerInput.kif 1082-1082 | Cursor ist dijunkt von InterfaceWindow %n{nicht} |
(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 | |
(subclass Cursor GUIElement) | ComputerInput.kif 1046-1046 | Cursor ist eine teilkategorie von GUIElement |
appearance as argument number 2 |
(subclass MouseCursor Cursor) | ComputerInput.kif 1059-1059 | MouseCursor ist eine teilkategorie von Cursor |
(subclass TextCursor Cursor) | ComputerInput.kif 1054-1054 | TextCursor ist eine teilkategorie von Cursor |
(termFormat EnglishLanguage Cursor "cursor") | domainEnglishFormat.kif 64727-64727 |
antecedent |
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 | ~{ GUIElement ist ein fall von Cursor %n{nicht} } oder ~{ hasGUEState ** GUIElement and GUE_SelectedState } |