Skip to content

Latest commit

 

History

History
17 lines (11 loc) · 1.04 KB

File metadata and controls

17 lines (11 loc) · 1.04 KB

IfcLiquidTerminal

A liquid terminal is a terminating or origination point for the transfer of liquid between distribution system(s). this is the point where the liquid distribution system interacts with the external environment. An example of this is a loading arm for the transfer of liquid from a docked vessel.

Attributes

PredefinedType

Identifies the predefined type of a liquid terminal. This type may associate additional specific property sets. NOTE The PredefinedType shall only be used, if no IfcLiquidTerminalType is assigned, providing its own IfcLiquidTerminalType.PredefinedType.

Formal Propositions

CorrectPredefinedType

Either the PredefinedType attribute is unset(e.g. because an IfcLiquidTerminalType is associated), or the inherited attribute ObjectType shall be provided, if the PredefinedType is set to USERDEFINED.

CorrectTypeAssigned

Either there is no type object associated, i.e. the IsTypedBy inverse relationship is not provided, or the associated type object has to be of type IfcLiquidTerminalType.