Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| DoubleClicking(double clicking) |
| appearance as argument number 1 |
|
| (subclass DoubleClicking Clicking) | ComputerInput.kif 1452-1452 | Double clicking is a subclass of clicking |
| (documentation DoubleClicking EnglishLanguage "DoubleClicking is a UserDirectAction of clicking twice relatively rapidly so as to signify a ``double click''.") | ComputerInput.kif 1454-1456 | Double clicking is a subclass of clicking |
| (udaCanSignify DoubleClicking SubmitAction) | ComputerInput.kif 1854-1854 | Double clicking isgnifies submit action |
| (udaCanSignify DoubleClicking SelectingActiveArea) | ComputerInput.kif 2190-2190 | Double clicking isgnifies selecting active area |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage DoubleClicking "double clicking") | domainEnglishFormat.kif 64782-64782 |
| 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 1458-1467 | If X is an instance of double clicking, then All of the following hold: (1) there exist Y (2) Z such that X is a subprocess of Y (3) Y is an instance of clicking (4) X is a subprocess of Z (5) equal Y (6) Z (7) Z is an instance of clicking |
|