8.6.2.7 IfcLibrarySelect（库选择）
8.6.2.7.1 语义定义（Semantic definition）
_IfcLibrarySelect_（库选择）用于选择库信息是包含在IFC模型中还是从外部源引用。
预期选择将是 IfcLibraryReference 且极少为 IfcLibraryInformation。IfcLibraryInformation 应仅在需要指示将使用的库而不进行单独引用的情况下选择。这可能发生在较高级别的对象中，例如 IfcProject 或 IfcBuilding。
8.6.2.7.2 类型值
8.6.2.7.3 形式化表示（Formal representation）
TYPE IfcLibrarySelect = SELECT
(IfcLibraryInformation
,IfcLibraryReference);
END_TYPE;