8.17.3.10 IfcQuantityWeight（数量-重量）

RV ⓘ

AbV ⓘ

8.17.3.10.1 语义定义（Semantic definition）

IfcQuantityWeight 是一种物理元素数量，用于定义派生重量度量以提供元素的物理属性。通常根据特定计量规则方法，从元素的物理属性派生而来。

8.17.3.10.2 实体继承（Entity inheritance）

8.17.3.10.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 个继承特性
IfcQuantityWeight (2)
4	WeightValue	IfcMassMeasure	此数量的质量度量值。
5	Formula	OPTIONAL IfcLabel	用于计算数量的公式。除了数量的实际值外，还可分配公式。公式可以是数学计算（如宽度 x 高度）、数据库链接或两者的组合。该公式仅用于提供信息。 IFC4 变更属性已添加到属性列表的末尾。

表 8.17.3.10.A

8.17.3.10.4 形式化命题（Formal propositions）

名称	描述
WR21	如果给定了单位，则单位类型应为质量单位。\ >注意在当前 IFC 版本中，"质量"和"重量"概念没有区别。
`NOT(EXISTS(SELF\IfcPhysicalSimpleQuantity.Unit)) OR (SELF\IfcPhysicalSimpleQuantity.Unit.UnitType = IfcUnitEnum.MASSUNIT)`
WR22	有效的重量数量应大于或等于零。
`WeightValue >= 0.`

表 8.17.3.10.B

8.17.3.10.5 形式化表示（Formal representation）

ENTITY IfcQuantityWeight
 SUBTYPE OF (IfcPhysicalSimpleQuantity);
	WeightValue : IfcMassMeasure;
	Formula : OPTIONAL IfcLabel;
 WHERE
	WR21 : NOT(EXISTS(SELF\IfcPhysicalSimpleQuantity.Unit)) OR
   (SELF\IfcPhysicalSimpleQuantity.Unit.UnitType = IfcUnitEnum.MASSUNIT);
	WR22 : WeightValue >= 0.;
END_ENTITY;

8.17.3.10.6 参考文献

IfcPhysicalSimpleQuantity