8.20.3.16 IfcSubedge（子边）

8.20.3.16.1 语义定义（Semantic definition）

注意 根据 ISO/CD 10303-42:1992 的定义 子边是其域为现有边域的连通部分的边。子边的拓扑约束与边的拓扑约束相同。

注意 实体改编自 ISO 10303-42 中定义的 subedge。

非正式命题

1. 子边的域被正式定义为父边的域，并由子边起始顶点和子边终止顶点进行修剪。
2. 起始顶点和终止顶点应位于父边顶点域的并集以及 parent edge 的域之内。

8.20.3.16.2 实体继承（Entity inheritance）

1. • IfcRepresentationItem
2. • IfcTopologicalRepresentationItem
   • IfcGeometricRepresentationItem
   • IfcMappedItem
   • IfcStyledItem
3. • IfcEdge
   • IfcConnectedFaceSet
   • IfcFace
   • IfcFaceBound
   • IfcLoop
   • IfcPath
   • IfcVertex
4. • IfcSubedge
   • IfcEdgeCurve
   • IfcOrientedEdge

8.20.3.16.3 特性（Attributes）

#	特性（Attributes）	类型	描述
IfcRepresentationItem (2)
	LayerAssignment	SET [0:1] OF IfcPresentationLayerAssignment FOR AssignedItems	将表示项分配给单个或多个层。LayerAssignments 可以覆盖其所在的 IfcRepresentation 的 Items 列表中的 LayerAssignments。
	StyledByItem	SET [0:1] OF IfcStyledItem FOR Item	引用为表示提供表现信息的 IfcStyledItem，例如，为几何曲线提供曲线样式，包括颜色和厚度。
IfcEdge (2)
1	EdgeStart	IfcVertex	边的起点（顶点）。
2	EdgeEnd	IfcVertex	边的终点（顶点）。同一个顶点可以同时用于 EdgeStart 和 EdgeEnd。
点击显示 4 个隐藏的继承特性 点击隐藏 4 个继承特性
IfcSubedge (1)
3	ParentEdge	IfcEdge	包含该子边的边或子边。

8.20.3.16.4 形式化表示（Formal representation）

ENTITY IfcSubedge
 SUBTYPE OF (IfcEdge);
	ParentEdge : IfcEdge;
END_ENTITY;

8.20.3.16.5 参考文献

• IfcEdge