WindowScrollingByUser - Sigma Knowledge base Browser

appearance as argument number 1

(subclass WindowScrollingByUser WindowScrolling)	ComputerInput.kif 1799-1799	Window scrolling by user is a subclass of window scrolling
(subclass WindowScrollingByUser UserSignifiedGraphicalAction)	ComputerInput.kif 1800-1800	Window scrolling by user is a subclass of user signified graphical action
(documentation WindowScrollingByUser EnglishLanguage "WindowScrollingByUser consists of moving the contents of a frame in a window (when the logical size of the contents is greater than that of the frame) without moving the window itself.")	ComputerInput.kif 1801-1803	Window scrolling by user is a subclass of user signified graphical action

appearance as argument number 2

(udaCanSignify (IntersectionFn MouseButtonHoldDown SlidingComputerInputDeviceAction) WindowScrollingByUser)	ComputerInput.kif 1821-1822	The union of mouse button hold down and sliding computer input device action isgnifies window scrolling by user
(udaCanSignify ScrollWheelRotating WindowScrollingByUser)	ComputerInput.kif 1823-1823	Scroll wheel rotating isgnifies window scrolling by user
(udaCanSignify (PressingKeyFn ArrowKey) WindowScrollingByUser)	ComputerInput.kif 1824-1824	Pressing the arrow key key isgnifies window scrolling by user
(termFormat EnglishLanguage WindowScrollingByUser "window scrolling by user")	domainEnglishFormat.kif 65740-65740	Pressing the arrow key key isgnifies window scrolling by user

antecedent

(=>
    (instance ?SCROLL WindowScrollingByUser)
    (exists (?WINDOW)
        (and
            (patient ?SCROLL ?WINDOW)
            (instance ?WINDOW InterfaceWindow)
            (hasGUEState ?WINDOW GUE_ActiveState))))

consequent

(<=>
    (and
        (instance ?SCROLL WindowScrolling)
        (instance ?SCROLL UserSignifiedGraphicalAction))
    (instance ?SCROLL WindowScrollingByUser))

statement

(udaCanSignify (PressingKeyFn UpArrowKey) (IntersectionFn VerticalWindowScrolling WindowScrollingByUser))	ComputerInput.kif 1829-1830	Pressing the up arrow key key isgnifies the union of vertical window scrolling and window scrolling by user
(udaCanSignify (PressingKeyFn DownArrowKey) (IntersectionFn VerticalWindowScrolling WindowScrollingByUser))	ComputerInput.kif 1831-1832	Pressing the down arrow key key isgnifies the union of vertical window scrolling and window scrolling by user
(udaCanSignify (PressingKeyFn RightArrowKey) (IntersectionFn HorizontalWindowScrolling WindowScrollingByUser))	ComputerInput.kif 1838-1839	Pressing the right arrow key key isgnifies the union of horizontal window scrolling and window scrolling by user
(udaCanSignify (PressingKeyFn LeftArrowKey) (IntersectionFn HorizontalWindowScrolling WindowScrollingByUser))	ComputerInput.kif 1840-1841	Pressing the left arrow key key isgnifies the union of horizontal window scrolling and window scrolling by user