8.17.3.6 IfcQuantityLength（数量-长度）

RV ⓘ

AbV ⓘ

8.17.3.6.1 语义定义（Semantic definition）

IfcQuantityLength 是一种物理量，用于定义派生长度度量以提供元素的物理属性。通常根据特定计量规则方法，从元素的物理属性中推导得出。

8.17.3.6.2 实体继承（Entity inheritance）

8.17.3.6.3 特性（Attributes）

#	特性（Attributes）	类型	描述
IfcPhysicalQuantity (4)
1	Name	IfcLabel	元素数量或度量的名称。名称属性需要通过进一步协议使其可识别。
2	Description	OPTIONAL IfcText	可能为数量提供的进一步说明。
	HasExternalReferences	SET [0:?] OF IfcExternalReferenceRelationship FOR RelatedResourceObjects	引用与数量关联的外部引用，例如库、分类或文档信息。 IFC4 变更新增反向属性。
	PartOfComplex	SET [0:1] OF IfcPhysicalComplexQuantity FOR HasQuantities	引用可能包含该物理数量的物理复合数量。
IfcPhysicalSimpleQuantity (1)
3	Unit	OPTIONAL IfcNamedUnit	单位的可选赋值。若未指定单位，则采用在 IfcProject 中建立的全局单位赋值作为数量测量值的单位标准。
点击显示 5 个隐藏的继承特性点击隐藏 5 个继承特性
IfcQuantityLength (2)
4	LengthValue	IfcLengthMeasure	此数量的长度度量值。
5	Formula	OPTIONAL IfcLabel	用于计算数量的公式。除了数量的实际值外，还可分配公式。公式可以是数学计算（如宽度 x 高度）、数据库链接或两者的组合。该公式仅用于提供信息。 IFC4 变更属性已添加到属性列表的末尾。

表 8.17.3.6.A

8.17.3.6.4 形式化命题（Formal propositions）

名称	描述
WR21	如果给定了单位，则单位类型应为长度单位。
`NOT(EXISTS(SELF\IfcPhysicalSimpleQuantity.Unit)) OR (SELF\IfcPhysicalSimpleQuantity.Unit.UnitType = IfcUnitEnum.LENGTHUNIT)`
WR22	有效的长度数量应大于或等于零。
`LengthValue >= 0.`

表 8.17.3.6.B

8.17.3.6.5 形式化表示（Formal representation）

ENTITY IfcQuantityLength
 SUBTYPE OF (IfcPhysicalSimpleQuantity);
	LengthValue : IfcLengthMeasure;
	Formula : OPTIONAL IfcLabel;
 WHERE
	WR21 : NOT(EXISTS(SELF\IfcPhysicalSimpleQuantity.Unit)) OR
   (SELF\IfcPhysicalSimpleQuantity.Unit.UnitType = IfcUnitEnum.LENGTHUNIT);
	WR22 : LengthValue >= 0.;
END_ENTITY;

8.17.3.6.6 参考文献

IfcPhysicalSimpleQuantity