Conceptual data modelling inheritance notation

I am drawing the conceptual data model between vehicle, car and motorbike. As far as I know. **Hierarchy**. The simple "is a" feature. **Disjunction** means that each ocurrence of superentity should only one subentity. Its notation is a "d" inside the triangle **Total restriction** means that each ocurrence of superentity (vehicle) should be a subentity (car or motorbike). Its notation is double line. In this case Im not sure what to put inside the triangle. Are all of them valid? Which of these notations are **incorrect**?