IfcPile

桩是一种细长的木材、混凝土或钢结构构件，打入、喷射或以其他方式嵌入地面，以支撑荷载。桩也被称为深基础，其中荷载被转移到更深的地下层。

注：根据ISO 6707-1的定义：细长结构构件，基本位于地下，用于将力传递到地面以下的承重地层中。

注：浅基础将荷载转移到靠近其表面的地面上，用IfcFooting表示。

IFC2x2中增加的新实体。

Attribute definitions

#	Attribute	Type	Cardinality	Description	C
9	PredefinedType	IfcPileTypeEnum	[0:1]	The predefined generic type of the pile according to function.	X
10	ConstructionType	IfcPileConstructionEnum	[0:1]	Deprecated.	X

Formal Propositions

Rule	Description
CorrectPredefinedType	Either the PredefinedType attribute is unset (e.g. because an IfcPileType is associated), or the inherited attribute ObjectType shall be provided, if the PredefinedType is set to USERDEFINED.
CorrectTypeAssigned	If this occurrence is defined by a type object, the latter has to be an IfcPileType.

 

Attribute inheritance

#	Attribute	Type	Cardinality	Description	C
IfcRoot
1	GlobalId	IfcGloballyUniqueId	[1:1]	Assignment of a globally unique identifier within the entire software world.	X
2	OwnerHistory	IfcOwnerHistory	[0:1]	Assignment of the information about the current ownership of that object, including owning actor, application, local identification and information captured about the recent changes of the object, NOTE  only the last modification in stored - either as addition, deletion or modification.	X
3	Name	IfcLabel	[0:1]	Optional name for use by the participating software systems or users. For some subtypes of IfcRoot the insertion of the Name attribute may be required. This would be enforced by a where rule.	X
4	Description	IfcText	[0:1]	Optional description, provided for exchanging informative comments.	X
IfcObjectDefinition
	HasAssignments	IfcRelAssigns @RelatedObjects	S[0:?]	Reference to the relationship objects, that assign (by an association relationship) other subtypes of IfcObject to this object instance. Examples are the association to products, processes, controls, resources or groups.	X
	Nests	IfcRelNests @RelatedObjects	S[0:1]	References to the decomposition relationship being a nesting. It determines that this object definition is a part within an ordered whole/part decomposition relationship. An object occurrence or type can only be part of a single decomposition (to allow hierarchical strutures only).	X
	IsNestedBy	IfcRelNests @RelatingObject	S[0:?]	References to the decomposition relationship being a nesting. It determines that this object definition is the whole within an ordered whole/part decomposition relationship. An object or object type can be nested by several other objects (occurrences or types).	X
	HasContext	IfcRelDeclares @RelatedDefinitions	S[0:1]	References to the context providing context information such as project unit or representation context. It should only be asserted for the uppermost non-spatial object.	X
	IsDecomposedBy	IfcRelAggregates @RelatingObject	S[0:?]	References to the decomposition relationship being an aggregation. It determines that this object definition is whole within an unordered whole/part decomposition relationship. An object definitions can be aggregated by several other objects (occurrences or parts).	X
	Decomposes	IfcRelAggregates @RelatedObjects	S[0:1]	References to the decomposition relationship being an aggregation. It determines that this object definition is a part within an unordered whole/part decomposition relationship. An object definitions can only be part of a single decomposition (to allow hierarchical strutures only).	X
	HasAssociations	IfcRelAssociates @RelatedObjects	S[0:?]	Reference to the relationship objects, that associates external references or other resource definitions to the object.. Examples are the association to library, documentation or classification.	X
IfcObject
5	ObjectType	IfcLabel	[0:1]	The type denotes a particular type that indicates the object further. The use has to be established at the level of instantiable subtypes. In particular it holds the user defined type, if the enumeration of the attribute PredefinedType is set to USERDEFINED.	X
	IsDeclaredBy	IfcRelDefinesByObject @RelatedObjects	S[0:1]	Link to the relationship object pointing to the declaring object that provides the object definitions for this object occurrence. The declaring object has to be part of an object type decomposition. The associated IfcObject, or its subtypes, contains the specific information (as part of a type, or style, definition), that is common to all reflected instances of the declaring IfcObject, or its subtypes.	X
	Declares	IfcRelDefinesByObject @RelatingObject	S[0:?]	Link to the relationship object pointing to the reflected object(s) that receives the object definitions. The reflected object has to be part of an object occurrence decomposition. The associated IfcObject, or its subtypes, provides the specific information (as part of a type, or style, definition), that is common to all reflected instances of the declaring IfcObject, or its subtypes.	X
	IsTypedBy	IfcRelDefinesByType @RelatedObjects	S[0:1]	Set of relationships to the object type that provides the type definitions for this object occurrence. The then associated IfcTypeObject, or its subtypes, contains the specific information (or type, or style), that is common to all instances of IfcObject, or its subtypes, referring to the same type.	X
	IsDefinedBy	IfcRelDefinesByProperties @RelatedObjects	S[0:?]	Set of relationships to property set definitions attached to this object. Those statically or dynamically defined properties contain alphanumeric information content that further defines the object.	X
IfcProduct
6	ObjectPlacement	IfcObjectPlacement	[0:1]	Placement of the product in space, the placement can either be absolute (relative to the world coordinate system), relative (relative to the object placement of another product), or constraint (e.g. relative to grid axes). It is determined by the various subtypes of IfcObjectPlacement, which includes the axis placement information to determine the transformation for the object coordinate system.	X
7	Representation	IfcProductRepresentation	[0:1]	Reference to the representations of the product, being either a representation (IfcProductRepresentation) or as a special case a shape representations (IfcProductDefinitionShape). The product definition shape provides for multiple geometric representations of the shape property of the object within the same object coordinate system, defined by the object placement.	X
	ReferencedBy	IfcRelAssignsToProduct @RelatingProduct	S[0:?]	Reference to the IfcRelAssignsToProduct relationship, by which other products, processes, controls, resources or actors (as subtypes of IfcObjectDefinition) can be related to this product.	X
IfcElement
8	Tag	IfcIdentifier	[0:1]	The tag (or label) identifier at the particular instance of a product, e.g. the serial number, or the position number. It is the identifier at the occurrence level.	X
	FillsVoids	IfcRelFillsElement @RelatedBuildingElement	S[0:1]	Reference to the IfcRelFillsElement Relationship that puts the element as a filling into the opening created within another element.	X
	ConnectedTo	IfcRelConnectsElements @RelatingElement	S[0:?]	Reference to the element connection relationship. The relationship then refers to the other element to which this element is connected to.	X
	IsInterferedByElements	IfcRelInterferesElements @RelatedElement	S[0:?]	Reference to the interference relationship to indicate the element that is interfered. The relationship, if provided, indicates that this element has an interference with one or many other elements. NOTE  There is no indication of precedence between IsInterferedByElements and InterferesElements.	X
	InterferesElements	IfcRelInterferesElements @RelatingElement	S[0:?]	Reference to the interference relationship to indicate the element that interferes. The relationship, if provided, indicates that this element has an interference with one or many other elements. NOTE  There is no indication of precedence between IsInterferedByElements and InterferesElements.	X
	HasProjections	IfcRelProjectsElement @RelatingElement	S[0:?]	Projection relationship that adds a feature (using a Boolean union) to the IfcBuildingElement.	X
	ReferencedInStructures	IfcRelReferencedInSpatialStructure @RelatedElements	S[0:?]	Reference relationship to the spatial structure element, to which the element is additionally associated. This relationship may not be hierarchical, an element may be referenced by zero, one or many spatial structure elements.	X
	HasOpenings	IfcRelVoidsElement @RelatingBuildingElement	S[0:?]	Reference to the IfcRelVoidsElement relationship that creates an opening in an element. An element can incorporate zero-to-many openings. For each opening, that voids the element, a new relationship IfcRelVoidsElement is generated.	X
	IsConnectionRealization	IfcRelConnectsWithRealizingElements @RealizingElements	S[0:?]	Reference to the connection relationship with realizing element. The relationship, if provided, assigns this element as the realizing element to the connection, which provides the physical manifestation of the connection relationship.	X
	ProvidesBoundaries	IfcRelSpaceBoundary @RelatedBuildingElement	S[0:?]	Reference to space boundaries by virtue of the objectified relationship IfcRelSpaceBoundary. It defines the concept of an element bounding spaces.	X
	ConnectedFrom	IfcRelConnectsElements @RelatedElement	S[0:?]	Reference to the element connection relationship. The relationship then refers to the other element that is connected to this element.	X
	ContainedInStructure	IfcRelContainedInSpatialStructure @RelatedElements	S[0:1]	Containment relationship to the spatial structure element, to which the element is primarily associated. This containment relationship has to be hierachical, i.e. an element may only be assigned directly to zero or one spatial structure.	X
	HasCoverings	IfcRelCoversBldgElements @RelatingBuildingElement	S[0:?]	Reference to IfcCovering by virtue of the objectified relationship IfcRelCoversBldgElement. It defines the concept of an element having coverings associated.	X
IfcBuildingElement
IfcPile
9	PredefinedType	IfcPileTypeEnum	[0:1]	The predefined generic type of the pile according to function.	X
10	ConstructionType	IfcPileConstructionEnum	[0:1]	Deprecated.	X

 

EXPRESS Specification

ENTITY IfcPile
 SUBTYPE OF (IfcBuildingElement);
  PredefinedType : OPTIONAL IfcPileTypeEnum;
  ConstructionType : OPTIONAL IfcPileConstructionEnum;
 WHERE
  CorrectPredefinedType : NOT EXISTS(PredefinedType) OR (PredefinedType <> IfcPileTypeEnum.USERDEFINED) OR ((PredefinedType = IfcPileTypeEnum.USERDEFINED) AND EXISTS(SELFIfcObject.ObjectType));
  CorrectTypeAssigned : (SIZEOF(IsTypedBy) = 0) OR ('IFCSTRUCTURALELEMENTSDOMAIN.IFCPILETYPE' IN TYPEOF(SELFIfcObject.IsTypedBy[1].RelatingType));
END_ENTITY;

####################################