|
|
   WindowScrolling
|
|
|
| appearance as argument number 1 |
|
|
| (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 1768-1770 | |
| (subclass WindowScrolling ComputerProcess) | ComputerInput.kif 1767-1767 | WindowScrolling is a subclass of computer process |
| appearance as argument number 2 |
|
|
| (subclass HorizontalWindowScrolling WindowScrolling) | ComputerInput.kif 1815-1815 | HorizontalWindowScrolling is a subclass of WindowScrolling |
| (subclass TwoDWindowScrolling WindowScrolling) | ComputerInput.kif 1824-1824 | TwoDWindowScrolling is a subclass of WindowScrolling |
| (subclass VerticalWindowScrolling WindowScrolling) | ComputerInput.kif 1807-1807 | VerticalWindowScrolling is a subclass of WindowScrolling |
| (subclass WindowScrollingByUser WindowScrolling) | ComputerInput.kif 1780-1780 | WindowScrollingByUser is a subclass of WindowScrolling |
| antecedent |
|
|
| (<=> (and (instance ?SCROLL WindowScrolling) (instance ?SCROLL UserSignifiedGraphicalAction)) (instance ?SCROLL WindowScrollingByUser)) |
ComputerInput.kif 1786-1790 | An entity is an instance of WindowScrolling and the entity is an instance of UserSignifiedGraphicalAction if and only if the entity is an instance of WindowScrollingByUser |
| (=> (instance ?ACT WindowScrolling) (exists (?GUIE) (and (patient ?ACT ?GUIE) (instance ?GUIE InterfaceWindow)))) |
ComputerInput.kif 1773-1778 |
|
|
|
|