IFC 4.3.2.20251031 (IFC4X3_ADD2) under development

8.17.3.5 IfcQuantityCount(数量-计数)

RV ⓘ
AbV ⓘ

8.17.3.5.1 语义定义(Semantic definition)

IfcQuantityCount 是一种物理量,用于定义派生计数度量以提供元素的物理属性。通常根据特定计量规则下的元素物理属性推导得出。

8.17.3.5.2 实体继承(Entity inheritance)

8.17.3.5.3 特性(Attributes)

# 特性(Attributes) 类型 描述
IfcPhysicalQuantity (4)
1 Name IfcLabel

元素数量或度量的名称。名称属性需要通过进一步协议使其可识别。

2 Description OPTIONAL IfcText

可能为数量提供的进一步说明。

HasExternalReferences SET [0:?] OF IfcExternalReferenceRelationship FOR RelatedResourceObjects

引用与数量关联的外部引用,例如库、分类或文档信息。

PartOfComplex SET [0:1] OF IfcPhysicalComplexQuantity FOR HasQuantities

引用可能包含该物理数量的物理复合数量。

IfcPhysicalSimpleQuantity (1)
3 Unit OPTIONAL IfcNamedUnit

单位的可选赋值。若未指定单位,则采用在 IfcProject 中建立的全局单位赋值作为数量测量值的单位标准。

点击显示 5 个隐藏的继承特性 点击隐藏 5 个继承特性
IfcQuantityCount (2)
4 CountValue IfcCountMeasure

此数量的计数度量值。

5 Formula OPTIONAL IfcLabel

用于计算数量的公式。除数量的实际值外,还可指定计算公式。公式可以是数学计算(如宽度 x 高度)、数据库链接或组合形式。该公式仅用于提供参考信息。

表 8.17.3.5.A

8.17.3.5.4 形式化命题(Formal propositions)

名称 描述
WR21

计数值应大于或等于零。

CountValue >= 0
表 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 参考文献