MovingCursor - Sigma Knowledge base Browser

appearance as argument number 1

(subclass MovingCursor UserSignifiedGraphicalAction)	ComputerInput.kif 1739-1739	Moving cursor is a subclass of user signified graphical action
(subclass MovingCursor Translocation)	ComputerInput.kif 1740-1740	Moving cursor is a subclass of translocation
(subclass MovingCursor Guiding)	ComputerInput.kif 1741-1741	Moving cursor is a subclass of guiding
(documentation MovingCursor EnglishLanguage "The UserSignifiedGraphicalAction is accomplished by a ComputerUser taking a UserDirectAction that is interpreted as signifying that a cursor should be moved. Depending upon program state this could be accomplished by UserDirectActions of MouseMoving, a TouchSurfaceSlide, JoystickMotion, ScrollWheelRotating, KeyboardAction, repeated %&Clicking, or AudioInput.")	ComputerInput.kif 1742-1746	Moving cursor is a subclass of guiding

appearance as argument number 2

(udaCanSignify SlidingComputerInputDeviceAction MovingCursor)	ComputerInput.kif 1755-1755	Sliding computer input device action isgnifies moving cursor
(udaCanSignify ScrollWheelRotating MovingCursor)	ComputerInput.kif 1756-1756	Scroll wheel rotating isgnifies moving cursor
(udaCanSignify (PressingKeyFn ArrowKey) MovingCursor)	ComputerInput.kif 1757-1757	Pressing the arrow key key isgnifies moving cursor
(udaCanSignify Clicking MovingCursor)	ComputerInput.kif 1758-1758	Clicking isgnifies moving cursor
(subclass DraggingWithCursor MovingCursor)	ComputerInput.kif 1760-1760	Dragging with cursor is a subclass of moving cursor
(termFormat EnglishLanguage MovingCursor "moving cursor")	domainEnglishFormat.kif 65207-65207	Dragging with cursor is a subclass of moving cursor

antecedent

(=>
    (instance ?ACT MovingCursor)
    (exists (?GUIE)
        (and
            (patient ?ACT ?GUIE)
            (instance ?GUIE Cursor))))

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