8.16.3.6 IfcPropertyBoundedValue（属性边界值）
8.16.3.6.1 语义定义（Semantic definition）
具有边界值的属性 IfcPropertyBoundedValue 定义了一个最多分配两个（数值或描述性）值的属性对象，第一个值指定上限，第二个值指定下限。它定义了一个属性-值边界（最小-最大）组合，其中包含属性 Name、可选的 Description、具有度量类型的可选 UpperBoundValue、具有度量类型的可选 LowerBoundValue 以及可选的 Unit。除了上限和下限值外，还可以提供设定点值用于操作值设置。
单位由 Unit 属性处理，表1展示了一个边界属性的示例：
- 如果未给出 Unit 属性，则单位已由 IfcMeasureValue 或 IfcDerivedMeasureValue 的类型隐含。相关单位可在项目级别全局定义的 IfcUnitAssignment 中找到（IfcProject.UnitsInContext）。
- 如果给出了 Unit 属性，则 Unit 属性分配的单位将覆盖全局分配的单位。
IfcPropertyBoundedValue 允许为属性描述的值分量指定一个区间。如果未给出 LowerBoundValue 或 UpperBoundValue，则表示一个开放边界（最小值或最大值）。根据定义，该区间是包含性的，即 LowerBoundValue 或 UpperBoundValue 给出的值包含在区间内。
| 名称 | UpperBoundValue | LowerBoundValue | SetPointValue | Type (through IfcValue) | Unit |
|---|---|---|---|---|---|
| OverallHeight | 2300 | 1930 | IfcPositiveLengthMeasure | - | |
| OverallWidth | 1.25 | 0.9 | IfcPositiveLengthMeasure | m | |
| MaxHeight | 20.0 | IfcPositiveLengthMeasure | - | ||
| MinWeight | 20 | IfcMassMeasure | kg |
非正式命题
- 如果上限和下限值的度量类型是数值度量，则以下条件必须成立：UpperBoundValue > LowerBoundValue。
8.16.3.6.2 实体继承（Entity inheritance）
8.16.3.6.3 特性（Attributes）
| # | 特性（Attributes） | 类型（Type） | 描述（Description） |
|---|---|---|---|
| IfcPropertyAbstraction (1) | |||
| HasExternalReferences | SET [0:?] OF IfcExternalReferenceRelationship FOR RelatedResourceObjects |
引用与属性定义相关联的外部引用，例如库、分类或文档信息。 |
|
| IfcProperty (8) | |||
| 1 | Name | IfcIdentifier |
此属性的名称。该标签是定义属性语义含义的重要名称字符串。 |
| 2 | Specification | OPTIONAL IfcText |
指向具有语义定义或解释性文本位置的URI引用，用于说明该属性。 |
| PartOfPset | SET [0:?] OF IfcPropertySet FOR HasProperties |
通过该属性被引用的_IfcPropertySet_的引用。 |
|
| PropertyForDependance | SET [0:?] OF IfcPropertyDependencyRelationship FOR DependingProperty |
其他属性的值所依赖的属性。 |
|
| PropertyDependsOn | SET [0:?] OF IfcPropertyDependencyRelationship FOR DependantProperty |
该属性的值所依赖的相关属性。 |
|
| PartOfComplex | SET [0:?] OF IfcComplexProperty FOR HasProperties |
包含该_IfcProperty_的_IfcComplexProperty_的引用。 |
|
| HasConstraints | SET [0:?] OF IfcResourceConstraintRelationship FOR RelatedResourceObjects |
用户定义的属性约束。 |
|
| HasApprovals | SET [0:?] OF IfcResourceApprovalRelationship FOR RelatedResourceObjects |
用户定义的属性审批。 |
|
| 点击显示 9 个隐藏的继承特性 点击隐藏 9 个继承特性 | |||
| IfcPropertyBoundedValue (4) | |||
| 3 | UpperBoundValue | OPTIONAL IfcValue |
定义属性值的区间的上限值。如果未给出该值，则表示一个开放边界（所有值大于或等于 LowerBoundValue）。 |
| 4 | LowerBoundValue | OPTIONAL IfcValue |
定义属性值的区间的下限值。如果未给出该值，则表示一个开放边界（所有值小于或等于 UpperBoundValue）。 |
| 5 | Unit | OPTIONAL IfcUnit |
上限和下限值的单位，如果未给出，则使用度量类型的默认值，该值由 IfcProject.UnitInContext 处的全局单位分配定义。适用的单位随后由 UpperBoundValue、LowerBoundValue 和 SetPointValue 的基础类型选择。 |
| 6 | SetPointValue | OPTIONAL IfcValue |
设定点值，通常用于操作值设置。 |
8.16.3.6.4 形式化命题（Formal propositions）
| 名称（Name） | 描述（Description） |
|---|---|
| SameUnitLowerSet |
如果同时给出了下限和设定点，则 LowerBoundValue 的度量类型应与 SetPointValue 的度量类型相同。 |
|
|
| SameUnitUpperLower |
如果同时给出了上限和下限，则 UpperBoundValue 的度量类型应与 LowerBoundValue 的度量类型相同。 |
|
|
| SameUnitUpperSet |
如果同时给出了上限和设定点，则 UpperBoundValue 的度量类型应与 SetPointValue 的度量类型相同。 |
|
|
8.16.3.6.5 形式化表示（Formal representation）
ENTITY IfcPropertyBoundedValue
SUBTYPE OF (IfcSimpleProperty);
UpperBoundValue : OPTIONAL IfcValue;
LowerBoundValue : OPTIONAL IfcValue;
Unit : OPTIONAL IfcUnit;
SetPointValue : OPTIONAL IfcValue;
WHERE
SameUnitLowerSet : NOT(EXISTS(LowerBoundValue)) OR NOT(EXISTS(SetPointValue)) OR
(TYPEOF(LowerBoundValue) = TYPEOF(SetPointValue));
SameUnitUpperLower : NOT(EXISTS(UpperBoundValue)) OR NOT(EXISTS(LowerBoundValue)) OR
(TYPEOF(UpperBoundValue) = TYPEOF(LowerBoundValue));
SameUnitUpperSet : NOT(EXISTS(UpperBoundValue)) OR NOT(EXISTS(SetPointValue)) OR
(TYPEOF(UpperBoundValue) = TYPEOF(SetPointValue));
END_ENTITY;