Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| LeftCIButton(left CI button) |
| appearance as argument number 1 |
|
| (subclass LeftCIButton ComputerInputButton) | ComputerInput.kif 213-213 | Left CI button is a subclass of computer input button |
| (documentation LeftCIButton EnglishLanguage "A ComputerInputButton logically on the left side of a set of ComputerInputButtons. Normally, the PhysicalLeftCIButton. A computer system may be told to logically switch the right and left buttons (e.g., for a person who uses a mouse in the left hand -- in such a case, the LeftCIButton is the rightmost physical button.") | ComputerInput.kif 214-217 | Left CI button is a subclass of computer input button |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (and (instance ?MID MiddleCIButton) (component ?MID ?DEV) (instance ?DEV ComputerInputDevice)) (exists (?LEFT ?RIGHT) (and (instance ?RIGHT RightCIButton) (instance ?LEFT LeftCIButton) (component ?RIGHT ?DEV) (component ?LEFT ?DEV) (between ?LEFT ?MID ?RIGHT) (orientation ?MID ?LEFT Left) (orientation ?MID ?RIGHT Right)))) |
ComputerInput.kif 240-253 | If X is an instance of middle CI button, X is a component of Y, and Y is an instance of computer input device, then All of the following hold: (1) there exist Z (2) W such that W is an instance of right CI button (3) Z is an instance of left CI button (4) W is a component of Y (5) Z is a component of Y (6) X is between Z (7) W (8) X is left of to Z (9) X is right of to W |
| (=> (instance ?ACT LeftClicking) (exists (?L_BUTTON) (and (patient ?ACT ?L_BUTTON) (instance ?L_BUTTON LeftCIButton)))) |
ComputerInput.kif 1491-1496 | If X is an instance of left clicking, then there exists ?L_BUTTON such that ?L_BUTTON is a patient of X and ?L_BUTTON is an instance of left CI button |
|