Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| RightClicking(right clicking) |
| appearance as argument number 1 |
|
| (subclass RightClicking Clicking) | ComputerInput.kif 1469-1469 | Right clicking is a subclass of clicking |
| (documentation RightClicking EnglishLanguage "RightClicking is a UserDirectAction of clicking with the right button on a two or three button mouse or similar device. 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, RightClicking is achieved by clicking the leftmost physical button.") | ComputerInput.kif 1471-1476 | Right clicking is a subclass of clicking |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage RightClicking "right clicking") | domainEnglishFormat.kif 65420-65420 |
| antecedent |
|
|
| (=> (instance ?ACT RightClicking) (exists (?R_BUTTON) (and (patient ?ACT ?R_BUTTON) (instance ?R_BUTTON RightCIButton)))) |
ComputerInput.kif 1478-1483 | If X is an instance of right clicking, then there exists ?R_BUTTON such that ?R_BUTTON is a patient of X and ?R_BUTTON is an instance of right CI button |
|