∃bearerOf.WellSurfaceControlFunction ⊓ ∃hasComponentPartAtAllTimes.CasingHanger ⊓ ∃hasConnectionTo.Wellbore
A wellhead bears a well surface control function, incorporates casing hangers for wellbore termination, and provides connection to the wellbore.
The functional differentia (WellSurfaceControlFunction) captures the primary identity-giving role. The structural differentia (casing hangers) and relational differentia (connection to wellbore) are essential characteristics that distinguish wellheads from other assemblies - all wellheads must interface with the wellbore and incorporate hangers for casing/tubing.