IfcConstructionProductResource

Definition from IAI: An IfcConstructionProductResource defines the role of a product that is consumed (wholly or partially), or occupied (i.e. used) in the performance of construction.

> HISTORY: New Entity in IFC Release 2.0. Renamed from IfcProductResource in IFC 2x.

### Use Definition

Occurrences of products that are used as product resources are instances of IfcProduct (by reference) since they result from some processes. 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. The product that is used as a construction resource is referenced using the IfcRelAssignsToResource.RelatedObjects relationship.

EXPRESS specification:

ENTITY IfcConstructionProductResource
SUBTYPE OF ( | IfcConstructionResource);
WHERE
WR1 | : | SIZEOF(SELF\IfcResource.ResourceOf) <=1;
WR2 | : | NOT(EXISTS(SELF\IfcResource.ResourceOf[1])) OR (SELF\IfcResource.ResourceOf[1].RelatedObjectsType = IfcObjectTypeEnum.PRODUCT);
END_ENTITY;

Formal Propositions:

WR1 | : | There should only be a single relationship, assigning products to the product resource.
WR2 | : | If a reference to a resource is given, then through the IfcRelAssignsToResource relationship with the RelatedObjectType PRODUCT.

Inheritance graph

ENTITY IfcConstructionProductResource;
ENTITY IfcRoot;
GlobalId | : | IfcGloballyUniqueId;
OwnerHistory | : | IfcOwnerHistory;
Name | : | OPTIONAL IfcLabel;
Description | : | OPTIONAL IfcText;
ENTITY IfcObjectDefinition;
INVERSE
HasAssignments | : | SET OF IfcRelAssigns FOR RelatedObjects;
IsDecomposedBy | : | SET OF IfcRelDecomposes FOR RelatingObject;
Decomposes | : | SET [0:1] OF IfcRelDecomposes FOR RelatedObjects;
HasAssociations | : | SET OF IfcRelAssociates FOR RelatedObjects;
ENTITY IfcObject;
ObjectType | : | OPTIONAL IfcLabel;
INVERSE
IsDefinedBy | : | SET OF IfcRelDefines FOR RelatedObjects;
ENTITY IfcResource;
INVERSE
ResourceOf | : | SET OF IfcRelAssignsToResource FOR RelatingResource;
ENTITY IfcConstructionResource;
ResourceIdentifier | : | OPTIONAL IfcIdentifier;
ResourceGroup | : | OPTIONAL IfcLabel;
ResourceConsumption | : | OPTIONAL IfcResourceConsumptionEnum;
BaseQuantity | : | OPTIONAL IfcMeasureWithUnit;
ENTITY IfcConstructionProductResource;
END_ENTITY;