IFC 4.3.2.20240128 (IFC4X3_ADD2) under development

8.17.3.9 IfcQuantityVolume

AbRV ⓘ
RV ⓘ

8.17.3.9.1 Semantic definition

IfcQuantityVolume is a physical quantity that defines a derived volume measure to provide an element's physical property. It is normally derived from the physical properties of the element under the specific measure rules given by a method of measurement.

8.17.3.9.2 Entity inheritance

8.17.3.9.3 Attributes

# Attribute Type Description
IfcPhysicalQuantity (4)
1 Name IfcLabel

Name of the element quantity or measure. The name attribute has to be made recognizable by further agreements.

2 Description OPTIONAL IfcText

Further explanation that might be given to the quantity.

HasExternalReferences SET [0:?] OF IfcExternalReferenceRelationship FOR RelatedResourceObjects

Reference to an external reference, e.g. library, classification, or document information, that is associated to the quantity.

PartOfComplex SET [0:1] OF IfcPhysicalComplexQuantity FOR HasQuantities

Reference to a physical complex quantity in which the physical quantity may be contained.

IfcPhysicalSimpleQuantity (1)
3 Unit OPTIONAL IfcNamedUnit

Optional assignment of a unit. If no unit is given, then the global unit assignment, as established at the IfcProject, applies to the quantity measures.

Click to show 5 hidden inherited attributes Click to hide 5 inherited attributes
IfcQuantityVolume (2)
4 VolumeValue IfcVolumeMeasure

Volume measure value of this quantity.

5 Formula OPTIONAL IfcLabel

A formula by which the quantity has been calculated. It can be assigned in addition to the actual value of the quantity. Formulas could be mathematic calculations (like width x height), database links, or a combination. The formula is for informational purposes only.

Table 8.17.3.9.A

8.17.3.9.4 Formal propositions

Name Description
WR21

If a unit is given, the unit type shall be volume unit.

NOT(EXISTS(SELF\IfcPhysicalSimpleQuantity.Unit)) OR
   (SELF\IfcPhysicalSimpleQuantity.Unit.UnitType = IfcUnitEnum.VOLUMEUNIT)
WR22

A valid volume quantity shall be greater than or equal to zero.

VolumeValue >= 0.
Table 8.17.3.9.B

8.17.3.9.5 Formal representation

ENTITY IfcQuantityVolume
 SUBTYPE OF (IfcPhysicalSimpleQuantity);
	VolumeValue : IfcVolumeMeasure;
	Formula : OPTIONAL IfcLabel;
 WHERE
	WR21 : NOT(EXISTS(SELF\IfcPhysicalSimpleQuantity.Unit)) OR
   (SELF\IfcPhysicalSimpleQuantity.Unit.UnitType = IfcUnitEnum.VOLUMEUNIT);
	WR22 : VolumeValue >= 0.;
END_ENTITY;

8.17.3.9.6 References

Edit on Github


Is this page difficult to understand? Let us know!

8.17.3.9.7 Changelog

8.17.3.9.7.1 IFC4

  • attribute, Formula