IFC 4.3.2.20241204 (IFC4X3_ADD2) under development

8.17.3.5 IfcQuantityCount

RV ⓘ
AbV ⓘ

8.17.3.5.1 Semantic definition

IfcQuantityCount is a physical quantity that defines a derived count 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.5.2 Entity inheritance

8.17.3.5.3 Attributes

# Attribute Type Description
IfcPhysicalQuantity (4)
IfcPhysicalSimpleQuantity (1)
Click to show 5 hidden inherited attributes
IfcQuantityCount (2)
4 CountValue IfcCountMeasure

Count 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.5.A

8.17.3.5.4 Formal propositions

Name Description
WR21

The value of the count shall be greater than or equal to zero.

CountValue >= 0
Table 8.17.3.5.B

8.17.3.5.5 Formal representation

ENTITY IfcQuantityCount
SUBTYPE OF (IfcPhysicalSimpleQuantity);
CountValue : IfcCountMeasure;
Formula : OPTIONAL IfcLabel;
WHERE
WR21 : CountValue >= 0;
END_ENTITY;

8.17.3.5.6 References

Edit on Github


Is this page difficult to understand? Let us know!

8.17.3.5.7 Changelog

8.17.3.5.7.1 IFC4

  • attribute, Formula

8.17.3.5.7.2 IFC4.3_DEV_0065273e

  • where rule, WR21
  • where rule, WR21