PUSH-PUSH PUSH BUTTON
A class with identifier
http://staging4.data.posccaesar.org/iso/15926-4/rdl/RDS6768180
| Definition | A <PUSH-PUSH PUSH BUTTON> is a <PUSH BUTTON> that is activated, and later released, by <PUSHING>. |
| ISO number | 19827 |
| RDS number | RDS6768180 |
| Source | Instrumentation |