| appearance as argument number 1 |
|
| (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 1455-1460 | |
| (subclass RightClicking Clicking) | ComputerInput.kif 1453-1453 | Right clicking is a subclass of clicking |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage RightClicking "right clicking") | domainEnglishFormat.kif 65442-65442 |
| antecedent |
|
|
| (=> (instance ?ACT RightClicking) (exists (?R_BUTTON) (and (patient ?ACT ?R_BUTTON) (instance ?R_BUTTON RightCIButton)))) |
ComputerInput.kif 1462-1467 |
|
|
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