Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   MiddleClicking
|
|
|
| appearance as argument number 1 |
|
|
| (subclass MiddleClicking Clicking) | ComputerInput.kif 1498-1498 | Middle clicking is a subclass of clicking |
| (documentation MiddleClicking EnglishLanguage "MiddleClicking is a UserDirectAction of clicking with the middle button on a three button mouse or similar device.") | ComputerInput.kif 1499-1500 | Middle clicking is a subclass of clicking |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage MiddleClicking "middle clicking") | domainEnglishFormat.kif 65171-65171 |
| antecedent |
|
|
| (=> (instance ?ACT MiddleClicking) (exists (?M_BUTTON) (and (patient ?ACT ?M_BUTTON) (instance ?M_BUTTON MiddleCIButton)))) |
ComputerInput.kif 1502-1507 | If X is an instance of middle clicking, then there exists ?M_BUTTON such that ?M_BUTTON is a patient of X and ?M_BUTTON is an instance of middle CI button |
|