8.11.3.9 IfcNamedUnit(命名单位)
RV ⓘ
AbV ⓘ
抽象 该定义可能不会被直接实例化。
8.11.3.9.1 语义定义(Semantic definition)
8.11.3.9.2 实体继承(Entity inheritance)
8.11.3.9.3 特性(Attributes)
| # | 特性(Attributes) | 类型 | 描述 |
|---|---|---|---|
| IfcNamedUnit (2) | |||
| 1 | Dimensions | IfcDimensionalExponents |
通过国际单位制基本单位的量纲指数来定义命名单位。 |
| 2 | UnitType | IfcUnitEnum |
单位的类型。 |
8.11.3.9.4 形式化命题(Formal propositions)
| 名称 | 描述 |
|---|---|
| WR1 |
通过函数 IfcCorrectDimensions 确立单位的正确量纲。 |
|
|
8.11.3.9.5 形式化表示(Formal representation)
ENTITY IfcNamedUnit
ABSTRACT SUPERTYPE OF (ONEOF
(IfcContextDependentUnit
,IfcConversionBasedUnit
,IfcSIUnit));
Dimensions : IfcDimensionalExponents;
UnitType : IfcUnitEnum;
WHERE
WR1 : IfcCorrectDimensions (SELF.UnitType, SELF.Dimensions);
END_ENTITY;