8.17.3.8 IfcQuantityTime（数量-时间）

RV ⓘ

AbV ⓘ

8.17.3.8.1 语义定义（Semantic definition）

IfcQuantityTime 是一种构件数量定义，用于提供与构件相关的时间度量属性。通常根据计量方法规定的特定计量规则，通过构件配方信息给出。

8.17.3.8.2 实体继承（Entity inheritance）

8.17.3.8.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 个继承特性
IfcQuantityTime (2)
4	TimeValue	IfcTimeMeasure	此数量的时间度量值。
5	Formula	OPTIONAL IfcLabel	用于计算数量的公式。除数量的实际值外，还可指定计算公式。公式可以是数学计算（如宽度×高度）、数据库链接或组合形式。该公式仅用于提供参考信息。 IFC4 变更属性已添加到属性列表的末尾。

表 8.17.3.8.A

8.17.3.8.4 形式化命题（Formal propositions）

名称	描述
WR21	若指定单位，则单位类型必须为时间单位。
`NOT(EXISTS(SELF\IfcPhysicalSimpleQuantity.Unit)) OR (SELF\IfcPhysicalSimpleQuantity.Unit.UnitType = IfcUnitEnum.TIMEUNIT)`
WR22	有效的重量数量应大于或等于零。
`TimeValue >= 0.`

表 8.17.3.8.B

8.17.3.8.5 形式化表示（Formal representation）

ENTITY IfcQuantityTime
 SUBTYPE OF (IfcPhysicalSimpleQuantity);
	TimeValue : IfcTimeMeasure;
	Formula : OPTIONAL IfcLabel;
 WHERE
	WR21 : NOT(EXISTS(SELF\IfcPhysicalSimpleQuantity.Unit)) OR
   (SELF\IfcPhysicalSimpleQuantity.Unit.UnitType = IfcUnitEnum.TIMEUNIT);
	WR22 : TimeValue >= 0.;
END_ENTITY;

8.17.3.8.6 参考文献

IfcPhysicalSimpleQuantity