5.1.3.48 IfcTypeProduct (产品类型)
5.1.3.48.1 语义定义（Semantic definition）
IfcTypeProduct 定义了一个产品的类型定义，而无需将其插入项目结构中（没有放置），也未包含在项目的几何表示上下文中。它用于定义一个产品规范，即适用于该产品类型所有实例的特定产品信息。
IfcTypeProduct 可能附加有一个属性集列表和一个可选的产品表示集合。这些属性的值和表示映射适用于该产品类型的所有实例。类型-实例关系通过对象化关系 IfcRelDefinesByType 实现。
实例层面的表示（由 IfcProduct 的子类型表示）可以覆盖类型层面的特定表示：
- 对于几何表示，可以在实例层面应用笛卡尔变换算子。
- 对于属性集，实例属性集（分配给产品实例）中的属性会覆盖分配给产品类型的同名属性。
IfcTypeProduct 可以在尚未分配给 IfcProduct 的子类型的情况下进行交换。
5.1.3.48.2 实体继承（Entity inheritance）
5.1.3.48.3 特性（Attributes）
| # | 特性（Attributes） | 类型（Type） | 描述（Description） |
|---|---|---|---|
| IfcRoot (4) | |||
| 1 | GlobalId | IfcGloballyUniqueId |
在整个软件世界中分配全局唯一标识符。 |
| 2 | OwnerHistory | OPTIONAL IfcOwnerHistory |
分配有关该对象当前所有权的信息，包括所有者参与者、应用程序、本地标识以及捕获到的关于对象近期更改的信息。 |
| 3 | Name | OPTIONAL IfcLabel |
供参与的软件系统或用户使用的可选名称。对于某些 IfcRoot 的子类型，可能需要插入 Name 特性。这将通过 where 规则强制执行。 |
| 4 | Description | OPTIONAL IfcText |
可选的描述，用于提供信息性注释。 |
| IfcObjectDefinition (7) | |||
| HasAssignments | SET [0:?] OF IfcRelAssigns FOR RelatedObjects |
引用分配（通过关联关系）其他 IfcObject 子类型到此对象实例的关系对象。例如，与产品、过程、控制、资源或组的关联。 |
|
| Nests | SET [0:1] OF IfcRelNests FOR RelatedObjects |
引用作为嵌套的分解关系。它确定此对象定义是顺序整体/部分分解关系中的一部分。对象实例或类型只能是单个分解的一部分（仅允许分层结构）。 |
|
| IsNestedBy | SET [0:?] OF IfcRelNests FOR RelatingObject |
引用作为嵌套的分解关系。它确定此对象定义是顺序整体/部分分解关系中的整体。对象或对象类型可以被多个其他对象（实例或类型）嵌套。 |
|
| HasContext | SET [0:1] OF IfcRelDeclares FOR RelatedDefinitions |
引用提供上下文信息的上下文，例如项目单位或表示上下文。它只应断言在最上层的非空间对象上。 |
|
| IsDecomposedBy | SET [0:?] OF IfcRelAggregates FOR RelatingObject |
引用作为聚合的分解关系。它确定此对象定义是无序整体/部分分解关系中的整体。对象定义可以被多个其他对象（实例或部分）聚合。 |
|
| Decomposes | SET [0:1] OF IfcRelAggregates FOR RelatedObjects |
引用作为聚合的分解关系。它确定此对象定义是无序整体/部分分解关系中的一部分。对象定义只能是单个分解的一部分（仅允许分层结构）。 |
|
| HasAssociations | SET [0:?] OF IfcRelAssociates FOR RelatedObjects |
引用将外部资源或资源定义与对象关联的关系对象。例如，与库、文档或分类的关联。 |
|
| IfcTypeObject (3) | |||
| 5 | ApplicableOccurrence | OPTIONAL IfcIdentifier |
此特性可选地定义了实例对象的数据类型，类型对象可以关联到该实例对象。如果不存在，则不对类型对象适用于哪个实例对象给出任何限制。使用以下约定：
|
| 6 | HasPropertySets | OPTIONAL SET [1:?] OF IfcPropertySetDefinition |
与对象类型关联的、并且是引用此对象类型的全部实例对象共有的属性集集合。
|
| Types | SET [0:1] OF IfcRelDefinesByType FOR RelatingType |
指向关系 IfcRelDefinesByType 的引用，从而指向由该类型定义的那些实例对象。 |
|
| 点击显示 14 个隐藏的继承特性 点击隐藏 14 个继承特性 | |||
| IfcTypeProduct (3) | |||
| 7 | RepresentationMaps | OPTIONAL LIST [1:?] OF UNIQUE IfcRepresentationMap |
唯一的表示映射列表。每个表示映射描述了产品样式的形状块定义。通过提供多个表示映射，可以给出多视图块定义。 |
| 8 | Tag | OPTIONAL IfcLabel |
产品特定类型上的标签（或标识）标识符，例如货号（如 EAN）。这是特定层级的标识符。 |
| ReferencedBy | SET [0:?] OF IfcRelAssignsToProduct FOR RelatingProduct |
指向 IfcRelAssignsToProduct 关系的引用，通过该关系，其他产品、进程、控制、资源或参与者（作为 IfcObjectDefinition 的子类型）可以与此产品类型相关联。 |
|
5.1.3.48.4 形式化命题（Formal propositions）
| 名称（Name） | 描述（Description） |
|---|---|
| ApplicableOccurrence |
如果产品类型（或样式）被分配给一个对象，则它只能分配给一个属于 IfcProduct 子类型的对象。 |
|
|
5.1.3.48.5 属性集（Property sets）
-
Pset_Risk
- RiskName
- RiskType
- NatureOfRisk
- RiskAssessmentMethodology
- UnmitigatedRiskLikelihood
- UnmitigatedRiskConsequence
- UnmitigatedRiskSignificance
- MitigationPlanned
- MitigatedRiskLikelihood
- MitigatedRiskConsequence
- MitigatedRiskSignificance
- MitigationProposed
- AssociatedProduct
- AssociatedActivity
- AssociatedLocation
-
Pset_Tolerance
- ToleranceDescription
- ToleranceBasis
- OverallTolerance
- HorizontalTolerance
- OrthogonalTolerance
- VerticalTolerance
- PlanarFlatness
- HorizontalFlatness
- ElevationalFlatness
- SideFlatness
- OverallOrthogonality
- HorizontalOrthogonality
- OrthogonalOrthogonality
- VerticalOrthogonality
- OverallStraightness
- HorizontalStraightness
- OrthogonalStraightness
- VerticalStraightness
-
Pset_Uncertainty
- UncertaintyBasis
- UncertaintyDescription
- HorizontalUncertainty
- LinearUncertainty
- OrthogonalUncertainty
- VerticalUncertainty
5.1.3.48.6 概念用法（Concept usage）
| 概念（Concept） | 用法（Usage） | 描述（Description） | |
|---|---|---|---|
| IfcRoot (2) | |||
| Revision Control | General |
使用 IfcOwnerHistory 捕获所有权、历史记录和合并状态。 |
|
| Software Identity | General |
IfcRoot 分配全局唯一 ID。此外，它还可以为概念提供名称和描述。 |
|
| IfcObjectDefinition (9) | |||
| Classification Association | General |
任何对象实例或对象类型都可以具有对特定分类引用的引用，即对分类系统中特定方面的引用。 |
|
| Aggregation | General |
无可用描述 |
|
| Approval Association | General |
无可用描述 |
|
| Constraint Association | General |
无可用描述 |
|
| Document Association | General |
无可用描述 |
|
| Library Association | General |
无可用描述 |
|
| Material Association | General |
无可用描述 |
|
| Material Single | General |
无可用描述 |
|
| Nesting | General |
无可用描述 |
|
| IfcTypeObject (2) | |||
| Object Type Predefined Type | General |
无可用描述 |
|
| Property Sets for Types | General |
无可用描述 |
|
| 点击显示 13 个隐藏的继承概念 点击隐藏 13 个继承概念 | |||
| IfcTypeProduct (7) | |||
| Product Type Shape | General |
RepresentationMaps 定义了类型产品形状，并且可以分配多个几何表示。如果通过使用 IfcRelDefinesByType 关系将产品实例分配给该类型，则这些实例必须引用表示映射。该引用由一个或多个 IfcShapeRepresentation 创建，该 IfcShapeRepresentation 具有 IfcMappedItem 作为其 Items，该 IfcMappedItem 将类型产品的 IfcRepresentationMap 放置在空间上下文中，即通过使用笛卡尔变换算子将 IfcRepresentationMap 转换为产品实例的对象坐标系。 图 5.1.3.48.A 说明了通过产品实例的形状表示引用表示映射的示例。在此示例中，笛卡尔变换算子仅使用平移，而不使用旋转、镜像或缩放。  图 5.1.3.48.B 说明了通过产品实例的形状表示多次引用表示映射的示例。在此示例中，笛卡尔变换算子仅使用平移，而不使用旋转、镜像或缩放。不同的平移值决定了多个放置的模式。  |
|
| Product Type Geometric Representation | General |
无可用描述 |
|
| Property Sets for Objects | General |
此概念可应用于以下资源 |
|
| Type Body AdvancedBrep Geometry | General |
无可用描述 |
|
| Type Body Brep Geometry | General |
无可用描述 |
|
| Type Body CSG Geometry | General |
无可用描述 |
|
| Type Body Geometry | General |
无可用描述 |
|
5.1.3.48.7 形式化表示（Formal representation）
ENTITY IfcTypeProduct
SUPERTYPE OF (ONEOF
(IfcElementType
,IfcSpatialElementType))
SUBTYPE OF (IfcTypeObject);
RepresentationMaps : OPTIONAL LIST [1:?] OF UNIQUE IfcRepresentationMap;
Tag : OPTIONAL IfcLabel;
INVERSE
ReferencedBy : SET [0:?] OF IfcRelAssignsToProduct FOR RelatingProduct;
WHERE
ApplicableOccurrence : NOT(EXISTS(SELF\IfcTypeObject.Types[1])) OR
(SIZEOF(QUERY(temp <* SELF\IfcTypeObject.Types[1].RelatedObjects |
NOT('IFC4X3_DEV_62887e3f.IFCPRODUCT' IN TYPEOF(temp)))
) = 0);
END_ENTITY;