| 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 | |
| (udaCanSignify DoubleClicking SelectingActiveArea) | ComputerInput.kif 2174-2174 | |
| (udaCanSignify DoubleClicking SubmitAction) | ComputerInput.kif 1838-1838 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage DoubleClicking "double clicking") | domainEnglishFormat.kif 64781-64781 |
| 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 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners