This is getVerticalDatum, a member of class IfcCoordinateReferenceSystem.
IfcCoordinateReferenceSystem Methods