Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| UserSignifiedGraphicalAction(user signified graphical action) |
| appearance as argument number 1 |
|
| (subclass UserSignifiedGraphicalAction UserSignifiedAction) | ComputerInput.kif 1721-1721 | User signified graphical action is a subclass of user signified action |
| (documentation UserSignifiedGraphicalAction EnglishLanguage "A UserSignifiedAction that is interpreted as signifying a change in a graphical feature (cursor movement, highlighting of an area, etc.).") | ComputerInput.kif 1722-1723 | User signified graphical action is a subclass of user signified action |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?ACT UserSignifiedGraphicalAction) (exists (?GUIE) (and (patient ?ACT ?GUIE) (instance ?GUIE GUIActiveArea)))) |
ComputerInput.kif 1725-1730 | If X is an instance of user signified graphical action, then there exists Y such that Y is a patient of X and Y is an instance of GUI active area |
| (<=> (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 |
|