|
|
   MouseCursor
|
|
|
| appearance as argument number 1 |
|
|
| (disjoint MouseCursor GUIActiveArea) | ComputerInput.kif 1064-1064 | |
| (disjoint MouseCursor TextCursor) | ComputerInput.kif 1063-1063 | |
| (documentation MouseCursor EnglishLanguage "A MouseCursor is a Cursor that locates a location on a computer screen ``pointed to'' by a computer mouse, trackball, joystick, or other device. Both a mouse cursor and a text cursor may be visible at the same time.") | ComputerInput.kif 1060-1062 | |
| (subclass MouseCursor Cursor) | ComputerInput.kif 1059-1059 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage MouseCursor "mouse cursor") | domainEnglishFormat.kif 65202-65202 |
| antecedent |
|
|
| (=> (and (instance ?CURSOR1 MouseCursor) (instance ?CURSOR2 MouseCursor) (screenOfGUIE ?CURSOR1 ?SCREEN) (screenOfGUIE ?CURSOR2 ?SCREEN)) (equal ?CURSOR1 ?CURSOR2)) |
ComputerInput.kif 1067-1073 | |
| (=> (instance ?CURSOR MouseCursor) (hasGUEState ?CURSOR GUE_DisplayedState)) |
ComputerInput.kif 1990-1992 |
| consequent |
|
|
| (=> (and (instance ?ACT DraggingWithCursor) (patient ?ACT ?CURSOR) (instance ?CURSOR Cursor)) (instance ?CURSOR MouseCursor)) |
ComputerInput.kif 1753-1758 |
| statement |
|
|
| (not (and (instance ?CURSOR MouseCursor) (hasGUEState ?CURSOR GUE_ActiveState))) |
ComputerInput.kif 1952-1955 |
|
|
|