IfcBuilding says this:
- total height of building, also referred to as ridge height (top of roof structure, e.g the ridge against terrain): provided by BaseQuantity with Name=“TotalHeight”
The actual Qto_BuildingBaseQuantities only specifies Height, not TotalHeight.