# 7.3.3.5 IfcConstructionProductResource

## 7.3.3.5.1 Semantic definition

IfcConstructionProductResource defines the role of a product that is consumed (wholly or partially), or occupied in the performance of construction.

Occurrences of IfcConstructionProductResource are usage of products to assist the process of construction. More specifically, they are usage of products that result from some construction processes and that are then used as resources to facilitate further construction. For instance, formworks can be instantiated as products resulting from the process constructing formwork. However, they are used as resources in the process pouring concrete in a later stage of the project.

## 7.3.3.5.5 Property sets

• Pset_ConstructionResource
• ScheduleWorkProgression
• ActualWorkTime
• RemainingWorkProgression
• ScheduleCost
• ActualCost
• RemainingCost
• ScheduleCompletion
• ActualCompletion

## 7.3.3.5.7 Formal representation

ENTITY IfcConstructionProductResource
SUBTYPE OF (IfcConstructionResource);
PredefinedType : OPTIONAL IfcConstructionProductResourceTypeEnum;
WHERE
CorrectPredefinedType : NOT(EXISTS(PredefinedType)) OR
(PredefinedType <> IfcConstructionProductResourceTypeEnum.USERDEFINED) OR
((PredefinedType = IfcConstructionProductResourceTypeEnum.USERDEFINED) AND EXISTS (SELF\IfcObject.ObjectType));
END_ENTITY;