5.3.3.8 IfcWorkCalendar（工作日历）
5.3.3.8.1 语义定义（Semantic definition）
IfcWorkCalendar 定义了任务和资源的可用工作时间和非工作时间段。它可以定义具体的时间段，例如 2009 年 8 月 25 日的 7:00 至 12:00，也可以定义基于常用重复模式的周期性时间段，例如 2009 年 3 月 1 日至 2009 年 12 月 31 日期间每周一的 7:00 至 12:00。
工作日历是 IfcControl 的一个子类型，因此继承了通过 IfcRelAssignsToControl 控制其他对象的特性，该特性用于定义任务 (IfcTask) 和资源 (IfcResource) 的工作日历。它还继承了名称和描述特性，其中名称是必需的，而描述是可选的，用于指示其内容和用途。
时间段的定义可以从基础日历派生，和/或通过一组工作时间和非工作例外时间进行修改/定义。IfcWorkCalendar.ExceptionTimes 定义的所有时间段都将覆盖从基础日历继承的时间段（基础日历定义为任务或资源适用的下一个日历）。因此，例外时间将替换基础日历中的工作时间。
图 5.3.3.8.A 显示了工作日历的定义，它由一组工作时间和例外时间定义。工作时间定义为具有可选边界（从特定日期开始和/或到特定日期结束）的周期性模式。所示示例定义了一个简单的工作日历：周一至周四工作时间为 8:00 至 12:00 和 13:00 至 17:00，周五工作时间为 8:00 至 14:00，例外情况是每月第一个星期一工作开始时间推迟一小时——即，每月第一个星期一的工作时间被覆盖为 9:00 至 12:00 和 13:00 至 17:00。工作时间和例外时间均在 2010 年 9 月 1 日至 2011 年 8 月 30 日期间有效。
5.3.3.8.2 实体继承（Entity inheritance）
5.3.3.8.3 特性（Attributes）
| # | 特性（Attributes） | 类型 | 描述 |
|---|---|---|---|
| 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 |
引用将外部资源或资源定义与对象关联的关系对象。例如，与库、文档或分类的关联。 |
|
| IfcObject (5) | |||
| 5 | ObjectType | OPTIONAL IfcLabel |
该类型表示指示对象的特定类型。必须在可实例化的子类型的级别上建立用法。特别是，如果特性 PredefinedType 的枚举设置为 USERDEFINED，或者当实例化的具体实体没有 PredefinedType 特性时，它保存用户定义的类型。后者发生在一些特殊的叶子类中，以及直接实例化 IfcBuiltElement 时。 |
| IsDeclaredBy | SET [0:1] OF IfcRelDefinesByObject FOR RelatedObjects |
链接到指向声明对象的关系对象，该声明对象为此对象实例提供对象定义。声明对象必须是对象类型分解的一部分。关联的 IfcObject 或其子类型包含特定信息（作为类型或样式定义的一部分），该信息对于声明 IfcObject 或其子类型的所有反映实例是通用的。 |
|
| Declares | SET [0:?] OF IfcRelDefinesByObject FOR RelatingObject |
链接到指向接收对象定义的反向对象的关系对象。反向对象必须是对象实例分解的一部分。关联的 IfcObject 或其子类型提供特定信息（作为类型或样式定义的一部分），该信息对于声明 IfcObject 或其子类型的所有反向实例是通用的。 |
|
| IsTypedBy | SET [0:1] OF IfcRelDefinesByType FOR RelatedObjects |
与对象类型的关系集合，该对象类型为此对象实例提供类型定义。然后，关联的 IfcTypeObject 或其子类型包含特定信息（或类型或样式），该信息对于引用同一类型的所有 IfcObject 或其子类型的实例是通用的。 |
|
| IsDefinedBy | SET [0:?] OF IfcRelDefinesByProperties FOR RelatedObjects |
与附加到此对象的属性集定义的集合的关系。这些静态或动态定义的特性包含字母数字信息内容，这些内容进一步定义了对象。 |
|
| IfcControl (2) | |||
| 6 | Identification | OPTIONAL IfcIdentifier |
赋予控制的标识名称。 它是发生层级的标识符。 |
| Controls | SET [0:?] OF IfcRelAssignsToControl FOR RelatingControl |
引用将控制与被控制对象相关联的关系。 |
|
| 点击显示 18 个隐藏的继承特性 点击隐藏 18 个继承特性 | |||
| IfcWorkCalendar (3) | |||
| 7 | WorkingTimes | OPTIONAL SET [1:?] OF IfcWorkTime |
被视为工作时间初始设置的时间段集合。例外时间可以进一步限制这些工作时间。 |
| 8 | ExceptionTimes | OPTIONAL SET [1:?] OF IfcWorkTime |
定义给定工作时间（包括基础日历，如果提供）的例外（非工作时间）的时间段集合。 |
| 9 | PredefinedType | OPTIONAL IfcWorkCalendarTypeEnum |
标识工作日历的预定义类型，可从中设置所需类型。 |
5.3.3.8.4 形式化命题（Formal propositions）
| 名称 | 描述 |
|---|---|
| CorrectPredefinedType |
当 IfcWorkCalendarTypeEnum 的值设置为 USERDEFINED 时，必须断言 ObjectType 特性。 |
|
|
7.4.8.36.3 概念用法（Concept usage）
| 概念 | 用法 | 描述 | |
|---|---|---|---|
| IfcRoot (2) | |||
| Revision Control | General |
使用 IfcOwnerHistory 捕获所有权、历史记录和合并状态。 |
|
| Software Identity | General |
IfcRoot 分配全局唯一 ID。此外，它还可以为概念提供名称和描述。 |
|
| IfcObjectDefinition (11) | |||
| Classification Association | General |
任何对象实例或对象类型都可以具有对特定分类引用的引用，即对分类系统中特定方面的引用。 |
|
| Aggregation | General |
聚合表示整体结构（称为“复合体”）与从属组件（称为“部分”）之间的内部无序部分组成关系。聚合的概念有多种用法。例如：
聚合是一种双向关系，从复合体到其部分的这种关系称为分解（Decomposition），从部分到其复合体的这种关系称为组合（Composition）。 |
|
| Approval Association | General |
概念 批准关联 描述了对象或对象类型如何关联批准，指示谁需要批准数据、是否已批准的状态以及批准的日期/时间。批准可能需要多个方扮演各种角色。 |
|
| Constraint Association | General |
概念 约束关联 描述了对象或对象类型如何关联约束，指示需要满足的定性目标或定量指标。 基于指标的约束是可衡量的，使得指标有效的状态是计算机可解释的。指标约束基于简单的条件逻辑，例如大于特定值或包含在指定列表或表中。约束可以使用布尔逻辑（如 AND、OR、XOR 或 NOT）组合多个指标。 |
|
| Document Association | General |
概念 文档关联 描述了对象或对象类型如何关联文档，指示外部文件。文档可以整体引用，例如用于捕获产品手册、数据表、多媒体内容或缩略图。文档中的内容可以从任何对象引用，并可用于同步其他文件中的信息，例如项目管理应用程序的项目计划。 文档的典型元数据，如发布日期、编辑者等，可以与关联一起捕获，但文档内容仍保留在外部文件中。 |
|
| Library Association | General |
概念 库关联 描述了对象和对象类型如何关联库实体，指示另一个数据源，例如来自模型服务器、产品库或外部数据库或系统，这些数据源用更多详细信息丰富数据。库可以整体从项目或项目库中引用，指示数据的源和版本。库中的内容可以从项目或项目库中的任何对象、类型对象、属性和某些资源模式实体中引用。 |
|
| Material Association | General |
任何产品或产品类型都可以关联材料，以指示对象的物理组成。 材料可以具有用于表面样式的表示，指示 3D 渲染的颜色、纹理和光反射率。材料可以具有用于填充样式的表示，指示 2D 渲染的颜色、图案和阴影线。材料可以具有密度、弹性、热阻等属性，如本规范中所定义。材料也可以根据引用的行业标准进行分类。 |
|
| Material Single | General |
材料直接与产品和产品类型关联，以表示整个对象的均匀材料。 材料也可以与 IfcTypeObject 关联，为该类型的实例定义材料。如果材料同时在 IfcTypeObject 和 IfcObject 上进行关联，则直接分配给 IfcObject 的材料具有优先权。 |
|
| Nesting | General |
嵌套表示主体结构（称为“主机”）与附加组件（称为“被托管元素”）之间的外部有序部分组成关系。嵌套的概念有多种用法。例如：
嵌套是一种双向关系，从主机结构到其附加组件的关系称为嵌套（Nesting），从组件到其包含结构的关系称为托管（Hosting）。 |
|
| Revision Control | General |
使用 IfcOwnerHistory 捕获所有权、历史记录和合并状态。 |
|
| Software Identity | General |
IfcRoot 分配全局唯一 ID。此外，它还可以为概念提供名称和描述。 |
|
| IfcObject (16) | |||
| Aggregation | General |
聚合表示整体结构（称为“复合体”）与从属组件（称为“部分”）之间的内部无序部分组成关系。聚合的概念有多种用法。例如：
聚合是一种双向关系，从复合体到其部分的这种关系称为分解（Decomposition），从部分到其复合体的这种关系称为组合（Composition）。 |
|
| Approval Association | General |
概念 批准关联 描述了对象或对象类型如何关联批准，指示谁需要批准数据、是否已批准的状态以及批准的日期/时间。批准可能需要多个方扮演各种角色。 |
|
| Assignment to Group | General |
_分配到组_建立对象到组的分配，组是对象的任意集合。它是_组分配_的补充概念模板，定义了对象如何被组分配。 分组关系除了将对象分组外，不具有任何其他含义。它是非层次化的，意味着对象可以被分配到多个组，并且不干扰其他关系概念，例如_元素分解_。分组关系允许子组被分组到组中。 |
|
| Classification Association | General |
任何对象实例或对象类型都可以具有对特定分类引用的引用，即对分类系统中特定方面的引用。 |
|
| Constraint Association | General |
概念 约束关联 描述了对象或对象类型如何关联约束，指示需要满足的定性目标或定量指标。 基于指标的约束是可衡量的，使得指标有效的状态是计算机可解释的。指标约束基于简单的条件逻辑，例如大于特定值或包含在指定列表或表中。约束可以使用布尔逻辑（如 AND、OR、XOR 或 NOT）组合多个指标。 |
|
| Document Association | General |
概念 文档关联 描述了对象或对象类型如何关联文档，指示外部文件。文档可以整体引用，例如用于捕获产品手册、数据表、多媒体内容或缩略图。文档中的内容可以从任何对象引用，并可用于同步其他文件中的信息，例如项目管理应用程序的项目计划。 文档的典型元数据，如发布日期、编辑者等，可以与关联一起捕获，但文档内容仍保留在外部文件中。 |
|
| Library Association | General |
概念 库关联 描述了对象和对象类型如何关联库实体，指示另一个数据源，例如来自模型服务器、产品库或外部数据库或系统，这些数据源用更多详细信息丰富数据。库可以整体从项目或项目库中引用，指示数据的源和版本。库中的内容可以从项目或项目库中的任何对象、类型对象、属性和某些资源模式实体中引用。 |
|
| Material Association | General |
任何产品或产品类型都可以关联材料，以指示对象的物理组成。 材料可以具有用于表面样式的表示，指示 3D 渲染的颜色、纹理和光反射率。材料可以具有用于填充样式的表示，指示 2D 渲染的颜色、图案和阴影线。材料可以具有密度、弹性、热阻等属性，如本规范中所定义。材料也可以根据引用的行业标准进行分类。 |
|
| Material Single | General |
材料直接与产品和产品类型关联，以表示整个对象的均匀材料。 材料也可以与 IfcTypeObject 关联，为该类型的实例定义材料。如果材料同时在 IfcTypeObject 和 IfcObject 上进行关联，则直接分配给 IfcObject 的材料具有优先权。 |
|
| Nesting | General |
嵌套表示主体结构（称为“主机”）与附加组件（称为“被托管元素”）之间的外部有序部分组成关系。嵌套的概念有多种用法。例如：
嵌套是一种双向关系，从主机结构到其附加组件的关系称为嵌套（Nesting），从组件到其包含结构的关系称为托管（Hosting）。 |
|
| Object Predefined Type | General |
====================== 许多对象实例具有一个名为 PredefinedType 的特性，该特性是一个特定的枚举。这种预定义类型本质上提供了另一种级别的“通过继承进行分类”，以在无需额外子类型的情况下进一步区分对象。预定义类型不仅是信息性的；各种规则适用，例如适用的属性集、部件组成和分配端口。此类预定义类型通过为 PredefinedType 特性选择正确的枚举值来添加。如果需要自定义值，则必须使用 ObjectType 特性来定义此类自定义类型，而 PredefinedType 则设置为 USERDEFINED。 为 Object Occurrence Predefined Type 提供的主要特性是：
如果对象通过 IfcTypeObject 进行类型化，则仅当 IfcTypeObject 处的 PredefinedType 设置为 NOTDEFINED 时，才能使用 IfcObject 实例处的 PredefinedType。 请注意，PredefinedType 特性本身是在继承层次结构的叶类中定义的，并为该给定叶类提供了一个特定的枚举特性。 |
|
| Object Typing | General |
任何对象实例都可以通过被分配给一个使用此概念的通用对象类型来类型化。通过在 IfcObject 的子类型级别覆盖此概念，引入了一个限制可分配的 IfcTypeObject 子类型的特定规则。 此概念可应用于以下资源 |
|
| Object User Identity | General |
特性 Name 和可选的 Description 可用于 IfcObject 的所有子类型。对于那些具有对象类型定义的子类型，例如 IfcBeam - IfcBeamType，通用的 Name 和可选的 Description 与对象类型相关联。 |
|
| Property Sets with Override | General |
任何对象实例都可以拥有属性集，可以直接在对象实例上作为元素特定的属性集，也可以在对象类型上作为类型属性集。在这种情况下，提供给对象实例的特性是元素特定特性和类型特性的组合。如果在实例和类型特性中都定义了相同的特性（在同一属性集中），则实例特性的特性值将覆盖类型特性的特性值。 |
|
| Revision Control | General |
使用 IfcOwnerHistory 捕获所有权、历史记录和合并状态。 |
|
| Software Identity | General |
IfcRoot 分配全局唯一 ID。此外，它还可以为概念提供名称和描述。 |
|
| IfcControl (17) | |||
| Aggregation | General |
聚合表示整体结构（称为“复合体”）与从属组件（称为“部分”）之间的内部无序部分组成关系。聚合的概念有多种用法。例如：
聚合是一种双向关系，从复合体到其部分的这种关系称为分解（Decomposition），从部分到其复合体的这种关系称为组合（Composition）。 |
|
| Approval Association | General |
概念 批准关联 描述了对象或对象类型如何关联批准，指示谁需要批准数据、是否已批准的状态以及批准的日期/时间。批准可能需要多个方扮演各种角色。 |
|
| Assignment to Group | General |
_分配到组_建立对象到组的分配，组是对象的任意集合。它是_组分配_的补充概念模板，定义了对象如何被组分配。 分组关系除了将对象分组外，不具有任何其他含义。它是非层次化的，意味着对象可以被分配到多个组，并且不干扰其他关系概念，例如_元素分解_。分组关系允许子组被分组到组中。 |
|
| Classification Association | General |
任何对象实例或对象类型都可以具有对特定分类引用的引用，即对分类系统中特定方面的引用。 |
|
| Constraint Association | General |
概念 约束关联 描述了对象或对象类型如何关联约束，指示需要满足的定性目标或定量指标。 基于指标的约束是可衡量的，使得指标有效的状态是计算机可解释的。指标约束基于简单的条件逻辑，例如大于特定值或包含在指定列表或表中。约束可以使用布尔逻辑（如 AND、OR、XOR 或 NOT）组合多个指标。 |
|
| Control Assignment | General |
Controls have assignments from products, processes, or other objects by using the relationship object IfcRelAssignsToControl. 此概念可应用于以下资源 |
|
| Document Association | General |
概念 文档关联 描述了对象或对象类型如何关联文档，指示外部文件。文档可以整体引用，例如用于捕获产品手册、数据表、多媒体内容或缩略图。文档中的内容可以从任何对象引用，并可用于同步其他文件中的信息，例如项目管理应用程序的项目计划。 文档的典型元数据，如发布日期、编辑者等，可以与关联一起捕获，但文档内容仍保留在外部文件中。 |
|
| Library Association | General |
概念 库关联 描述了对象和对象类型如何关联库实体，指示另一个数据源，例如来自模型服务器、产品库或外部数据库或系统，这些数据源用更多详细信息丰富数据。库可以整体从项目或项目库中引用，指示数据的源和版本。库中的内容可以从项目或项目库中的任何对象、类型对象、属性和某些资源模式实体中引用。 |
|
| Material Association | General |
任何产品或产品类型都可以关联材料，以指示对象的物理组成。 材料可以具有用于表面样式的表示，指示 3D 渲染的颜色、纹理和光反射率。材料可以具有用于填充样式的表示，指示 2D 渲染的颜色、图案和阴影线。材料可以具有密度、弹性、热阻等属性，如本规范中所定义。材料也可以根据引用的行业标准进行分类。 |
|
| Material Single | General |
材料直接与产品和产品类型关联，以表示整个对象的均匀材料。 材料也可以与 IfcTypeObject 关联，为该类型的实例定义材料。如果材料同时在 IfcTypeObject 和 IfcObject 上进行关联，则直接分配给 IfcObject 的材料具有优先权。 |
|
| Nesting | General |
嵌套表示主体结构（称为“主机”）与附加组件（称为“被托管元素”）之间的外部有序部分组成关系。嵌套的概念有多种用法。例如：
嵌套是一种双向关系，从主机结构到其附加组件的关系称为嵌套（Nesting），从组件到其包含结构的关系称为托管（Hosting）。 |
|
| Object Predefined Type | General |
====================== 许多对象实例具有一个名为 PredefinedType 的特性，该特性是一个特定的枚举。这种预定义类型本质上提供了另一种级别的“通过继承进行分类”，以在无需额外子类型的情况下进一步区分对象。预定义类型不仅是信息性的；各种规则适用，例如适用的属性集、部件组成和分配端口。此类预定义类型通过为 PredefinedType 特性选择正确的枚举值来添加。如果需要自定义值，则必须使用 ObjectType 特性来定义此类自定义类型，而 PredefinedType 则设置为 USERDEFINED。 为 Object Occurrence Predefined Type 提供的主要特性是：
如果对象通过 IfcTypeObject 进行类型化，则仅当 IfcTypeObject 处的 PredefinedType 设置为 NOTDEFINED 时，才能使用 IfcObject 实例处的 PredefinedType。 请注意，PredefinedType 特性本身是在继承层次结构的叶类中定义的，并为该给定叶类提供了一个特定的枚举特性。 |
|
| Object Typing | General |
任何对象实例都可以通过被分配给一个使用此概念的通用对象类型来类型化。通过在 IfcObject 的子类型级别覆盖此概念，引入了一个限制可分配的 IfcTypeObject 子类型的特定规则。 |
|
| Object User Identity | General |
特性 Name 和可选的 Description 可用于 IfcObject 的所有子类型。对于那些具有对象类型定义的子类型，例如 IfcBeam - IfcBeamType，通用的 Name 和可选的 Description 与对象类型相关联。 |
|
| Property Sets with Override | General |
任何对象实例都可以拥有属性集，可以直接在对象实例上作为元素特定的属性集，也可以在对象类型上作为类型属性集。在这种情况下，提供给对象实例的特性是元素特定特性和类型特性的组合。如果在实例和类型特性中都定义了相同的特性（在同一属性集中），则实例特性的特性值将覆盖类型特性的特性值。 |
|
| Revision Control | General |
使用 IfcOwnerHistory 捕获所有权、历史记录和合并状态。 |
|
| Software Identity | General |
IfcRoot 分配全局唯一 ID。此外，它还可以为概念提供名称和描述。 |
|
| 点击显示 46 个隐藏的继承概念 点击隐藏 46 个继承概念 | |||
| IfcWorkCalendar (17) | |||
| Control Assignment | General |
Controls have assignments from products, processes, or other objects by using the relationship object IfcRelAssignsToControl. 此概念可应用于以下资源 |
|
| Aggregation | General |
聚合表示整体结构（称为“复合体”）与从属组件（称为“部分”）之间的内部无序部分组成关系。聚合的概念有多种用法。例如：
聚合是一种双向关系，从复合体到其部分的这种关系称为分解（Decomposition），从部分到其复合体的这种关系称为组合（Composition）。 |
|
| Approval Association | General |
概念 批准关联 描述了对象或对象类型如何关联批准，指示谁需要批准数据、是否已批准的状态以及批准的日期/时间。批准可能需要多个方扮演各种角色。 |
|
| Assignment to Group | General |
_分配到组_建立对象到组的分配，组是对象的任意集合。它是_组分配_的补充概念模板，定义了对象如何被组分配。 分组关系除了将对象分组外，不具有任何其他含义。它是非层次化的，意味着对象可以被分配到多个组，并且不干扰其他关系概念，例如_元素分解_。分组关系允许子组被分组到组中。 |
|
| Classification Association | General |
任何对象实例或对象类型都可以具有对特定分类引用的引用，即对分类系统中特定方面的引用。 |
|
| Constraint Association | General |
概念 约束关联 描述了对象或对象类型如何关联约束，指示需要满足的定性目标或定量指标。 基于指标的约束是可衡量的，使得指标有效的状态是计算机可解释的。指标约束基于简单的条件逻辑，例如大于特定值或包含在指定列表或表中。约束可以使用布尔逻辑（如 AND、OR、XOR 或 NOT）组合多个指标。 |
|
| Document Association | General |
概念 文档关联 描述了对象或对象类型如何关联文档，指示外部文件。文档可以整体引用，例如用于捕获产品手册、数据表、多媒体内容或缩略图。文档中的内容可以从任何对象引用，并可用于同步其他文件中的信息，例如项目管理应用程序的项目计划。 文档的典型元数据，如发布日期、编辑者等，可以与关联一起捕获，但文档内容仍保留在外部文件中。 |
|
| Library Association | General |
概念 库关联 描述了对象和对象类型如何关联库实体，指示另一个数据源，例如来自模型服务器、产品库或外部数据库或系统，这些数据源用更多详细信息丰富数据。库可以整体从项目或项目库中引用，指示数据的源和版本。库中的内容可以从项目或项目库中的任何对象、类型对象、属性和某些资源模式实体中引用。 |
|
| Material Association | General |
任何产品或产品类型都可以关联材料，以指示对象的物理组成。 材料可以具有用于表面样式的表示，指示 3D 渲染的颜色、纹理和光反射率。材料可以具有用于填充样式的表示，指示 2D 渲染的颜色、图案和阴影线。材料可以具有密度、弹性、热阻等属性，如本规范中所定义。材料也可以根据引用的行业标准进行分类。 |
|
| Material Single | General |
材料直接与产品和产品类型关联，以表示整个对象的均匀材料。 材料也可以与 IfcTypeObject 关联，为该类型的实例定义材料。如果材料同时在 IfcTypeObject 和 IfcObject 上进行关联，则直接分配给 IfcObject 的材料具有优先权。 |
|
| Nesting | General |
嵌套表示主体结构（称为“主机”）与附加组件（称为“被托管元素”）之间的外部有序部分组成关系。嵌套的概念有多种用法。例如：
嵌套是一种双向关系，从主机结构到其附加组件的关系称为嵌套（Nesting），从组件到其包含结构的关系称为托管（Hosting）。 |
|
| Object Predefined Type | General |
====================== 许多对象实例具有一个名为 PredefinedType 的特性，该特性是一个特定的枚举。这种预定义类型本质上提供了另一种级别的“通过继承进行分类”，以在无需额外子类型的情况下进一步区分对象。预定义类型不仅是信息性的；各种规则适用，例如适用的属性集、部件组成和分配端口。此类预定义类型通过为 PredefinedType 特性选择正确的枚举值来添加。如果需要自定义值，则必须使用 ObjectType 特性来定义此类自定义类型，而 PredefinedType 则设置为 USERDEFINED。 为 Object Occurrence Predefined Type 提供的主要特性是：
如果对象通过 IfcTypeObject 进行类型化，则仅当 IfcTypeObject 处的 PredefinedType 设置为 NOTDEFINED 时，才能使用 IfcObject 实例处的 PredefinedType。 请注意，PredefinedType 特性本身是在继承层次结构的叶类中定义的，并为该给定叶类提供了一个特定的枚举特性。 |
|
| Object Typing | General |
任何对象实例都可以通过被分配给一个使用此概念的通用对象类型来类型化。通过在 IfcObject 的子类型级别覆盖此概念，引入了一个限制可分配的 IfcTypeObject 子类型的特定规则。 |
|
| Object User Identity | General |
特性 Name 和可选的 Description 可用于 IfcObject 的所有子类型。对于那些具有对象类型定义的子类型，例如 IfcBeam - IfcBeamType，通用的 Name 和可选的 Description 与对象类型相关联。 |
|
| Property Sets with Override | General |
任何对象实例都可以拥有属性集，可以直接在对象实例上作为元素特定的属性集，也可以在对象类型上作为类型属性集。在这种情况下，提供给对象实例的特性是元素特定特性和类型特性的组合。如果在实例和类型特性中都定义了相同的特性（在同一属性集中），则实例特性的特性值将覆盖类型特性的特性值。 |
|
| Revision Control | General |
使用 IfcOwnerHistory 捕获所有权、历史记录和合并状态。 |
|
| Software Identity | General |
IfcRoot 分配全局唯一 ID。此外，它还可以为概念提供名称和描述。 |
|
7.4.8.36.4 形式化表示（Formal representation）
ENTITY IfcWorkCalendar
SUBTYPE OF (IfcControl);
WorkingTimes : OPTIONAL SET [1:?] OF IfcWorkTime;
ExceptionTimes : OPTIONAL SET [1:?] OF IfcWorkTime;
PredefinedType : OPTIONAL IfcWorkCalendarTypeEnum;
WHERE
CorrectPredefinedType : NOT(EXISTS(PredefinedType)) OR (PredefinedType <> IfcWorkCalendarTypeEnum.USERDEFINED) OR
((PredefinedType = IfcWorkCalendarTypeEnum.USERDEFINED) AND EXISTS(SELF\IfcObject.ObjectType));
END_ENTITY;