IfcConstructionProductResource

Definition from IAI: An IfcConstructionProductResurce 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;