| WindowScrolling(window scrolling) | | scroll |
| appearance as argument number 1 |
|
|
| (subclass WindowScrolling ComputerProcess) | ComputerInput.kif 1786-1786 | Window scrolling is a subclass of computer process |
| (documentation WindowScrolling EnglishLanguage "WindowScrolling consists of a ComputerProcess moving as a block 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 1787-1789 | Window scrolling is a subclass of computer process |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?ACT WindowScrolling) (exists (?GUIE) (and (patient ?ACT ?GUIE) (instance ?GUIE InterfaceWindow)))) |
ComputerInput.kif 1792-1797 | If X is an instance of window scrolling, then there exists Y such that Y is a patient of X and Y is an instance of interface window |
| (<=> (and (instance ?SCROLL WindowScrolling) (instance ?SCROLL UserSignifiedGraphicalAction)) (instance ?SCROLL WindowScrollingByUser)) |
ComputerInput.kif 1805-1809 | X is an instance of window scrolling, X is an instance of user signified graphical action if, and only if X is an instance of window scrolling by user |
|
|
|