|
|
   DoubleClicking
|
|
|
| appearance as argument number 1 |
|
|
| (documentation DoubleClicking EnglishLanguage "DoubleClicking is a UserDirectAction of clicking twice relatively rapidly so as to signify a ``double click''.") | ComputerInput.kif 1438-1440 | |
| (subclass DoubleClicking Clicking) | ComputerInput.kif 1436-1436 | DoubleClicking 是 Clicking 的 subclass |
| (udaCanSignify DoubleClicking SelectingActiveArea) | ComputerInput.kif 2174-2174 | DoubleClicking isgnifies SelectingActiveArea |
| (udaCanSignify DoubleClicking SubmitAction) | ComputerInput.kif 1838-1838 | DoubleClicking isgnifies SubmitAction |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage DoubleClicking "double clicking") | domainEnglishFormat.kif 64779-64779 |
| antecedent |
|
|
| (=> (instance ?ACT DoubleClicking) (exists (?CLICK1 ?CLICK2) (and (subProcess ?ACT ?CLICK1) (instance ?CLICK1 Clicking) (subProcess ?ACT ?CLICK2) (not (equal ?CLICK1 ?CLICK2)) (instance ?CLICK2 Clicking)))) |
ComputerInput.kif 1442-1451 |
|
|
|