8.17.3.4 IfcQuantityArea（数量-面积）

RV ⓘ

AbV ⓘ

8.17.3.4.1 语义定义（Semantic definition）

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

8.17.3.4.2 实体继承（Entity inheritance）

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

表 8.17.3.4.A

8.17.3.4.4 形式化命题（Formal propositions）

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

表 8.17.3.4.B

8.17.3.4.5 形式化表示（Formal representation）

ENTITY IfcQuantityArea
 SUBTYPE OF (IfcPhysicalSimpleQuantity);
	AreaValue : IfcAreaMeasure;
	Formula : OPTIONAL IfcLabel;
 WHERE
	WR21 : NOT(EXISTS(SELF\IfcPhysicalSimpleQuantity.Unit)) OR
   (SELF\IfcPhysicalSimpleQuantity.Unit.UnitType = IfcUnitEnum.AREAUNIT);
	WR22 : AreaValue >= 0.;
END_ENTITY;

8.17.3.4.6 参考文献

IfcPhysicalSimpleQuantity