IfcSlabElementedCase

Natural language names
deDecke / Dachfläche / Bodenplatte elementiert
enSlab Elemented Case
frDalle composite
Change log
ItemSPFXMLChangeDescription
IFC2x3 to IFC4
    IfcSlabElementedCaseADDED
Semantic definitions at the entity
Entity definition

The IfcSlabElementedCase defines a slab with certain constraints for the provision of its components. The IfcSlabElementedCase handles all cases of slabs, that are decomposed into parts: 

HISTORY  New entity in IFC4.

Voiding Use Definition:

As shown in Figure 234, openings within the composite slab are directly assigned to IfcSlabElementedCase using IfcRelVoidsElement pointing to IfcOpeningElement and apply to all aggregated parts. If individual parts have cutting and other voiding features, then the decomposed parts have a separate voiding relationship IfcRelVoidsElement pointing to IfcVoidingFeature.

voiding

Figure 234 — Slab elemented voiding

Formal Propositions
RuleDescription
HasDecompositionA valid instance of IfcSlabElementedCase has to have parts in a decomposition hierarchy.
Inherited definitions from supertypes
Entity inheritance IfcSlab IfcBuildingElement IfcElement IfcProduct IfcObject IfcObjectDefinition IfcRoot
Attribute inheritance
#AttributeTypeCardinalityDescriptionC
IfcRoot
1GlobalIdIfcGloballyUniqueId[1:1] Assignment of a globally unique identifier within the entire software world. X
2OwnerHistoryIfcOwnerHistory[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
3NameIfcLabel[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
4DescriptionIfcText[0:1] Optional description, provided for exchanging informative comments.X
IfcObjectDefinition
HasAssignmentsIfcRelAssigns
@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
NestsIfcRelNests
@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
IsNestedByIfcRelNests
@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
HasContextIfcRelDeclares
@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
IsDecomposedByIfcRelAggregates
@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
DecomposesIfcRelAggregates
@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
HasAssociationsIfcRelAssociates
@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
5ObjectTypeIfcLabel[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
IsDeclaredByIfcRelDefinesByObject
@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
DeclaresIfcRelDefinesByObject
@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
IsTypedByIfcRelDefinesByType
@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
IsDefinedByIfcRelDefinesByProperties
@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
6ObjectPlacementIfcObjectPlacement[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
7RepresentationIfcProductRepresentation[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
ReferencedByIfcRelAssignsToProduct
@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
8TagIfcIdentifier[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
FillsVoidsIfcRelFillsElement
@RelatedBuildingElement
S[0:1]Reference to the IfcRelFillsElement Relationship that puts the element as a filling into the opening created within another element. X
ConnectedToIfcRelConnectsElements
@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
IsInterferedByElementsIfcRelInterferesElements
@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
InterferesElementsIfcRelInterferesElements
@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
HasProjectionsIfcRelProjectsElement
@RelatingElement
S[0:?]Projection relationship that adds a feature (using a Boolean union) to the IfcBuildingElement.X
ReferencedInStructuresIfcRelReferencedInSpatialStructure
@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
HasOpeningsIfcRelVoidsElement
@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
IsConnectionRealizationIfcRelConnectsWithRealizingElements
@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
ProvidesBoundariesIfcRelSpaceBoundary
@RelatedBuildingElement
S[0:?]Reference to space boundaries by virtue of the objectified relationship IfcRelSpaceBoundary. It defines the concept of an element bounding spaces. X
ConnectedFromIfcRelConnectsElements
@RelatedElement
S[0:?]Reference to the element connection relationship. The relationship then refers to the other element that is connected to this element. X
ContainedInStructureIfcRelContainedInSpatialStructure
@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
HasCoveringsIfcRelCoversBldgElements
@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
IfcSlab
9PredefinedTypeIfcSlabTypeEnum[0:1] Predefined generic type for a slab that is specified in an enumeration. There may be a property set given specifically for the predefined types.
NOTE  The PredefinedType shall only be used, if no IfcSlabType is assigned, providing its own IfcSlabType.PredefinedType.
X
IfcSlabElementedCase
Definitions applying to Common Use Definitions

 Instance diagram


Concept usage

Aggregation

The Aggregation concept applies to this entity as shown in Table 169.

PredefinedTypeRelatedObjectsDescription
 IfcBeamSlabs may be aggregated into beams for joists.
 IfcPlateSlabs may be aggregated into plates for decking.
 IfcBuildingElementPartSlabs may be aggregated into parts for other elements.

Table 169 — IfcSlabElementedCase Aggregation

The following guidance is provided for the components of the IfcSlabElementedCase. The following component entity types should be used:



Product Local Placement

The Product Local Placement concept applies to this entity as shown in Table 170.

TypeRelativeDescription
IfcLocalPlacementIfcLocalPlacementRelative placement according to position and rotation relative to container.
IfcLocalPlacementAbsolute placement according to position and rotation of world coordinate system.
IfcGridPlacementPlacement according to grid intersection.

Table 170 — IfcSlabElementedCase Product Local Placement

The use of local placement is defined at the supertype IfcSlab. The local placement of the IfcSlabElementedCase defines the parent coordinate systems for the parts within the decomposition. All parts shall be positioned relative to the IfcSlabElementedCase.



Surface Geometry

The Surface Geometry concept applies to this entity.

A three-dimensional surface being a subtype of IfcBoundedSurface defining the reference surface for the elemented slab. It maybe used as a simplified representation directly at the elemented slab.

NOTE  It is invalid to exhange a 'Body' shape representation of an IfcSlabElementedCase. The body geometry is defined by the parts within the decomposition.
NOTE  The 'Surface' can be used to define a surfacic model of the building (e.g. for analytical purposes, or for reduced Level of Detail representation). It should suppress the geometric details of the parts in the decomposition.


Concept inheritance

#ConceptModel View
IfcRoot
Software IdentityCommon Use Definitions
Revision ControlCommon Use Definitions
IfcObject
Object Occurrence Predefined TypeCommon Use Definitions
IfcElement
Box GeometryCommon Use Definitions
FootPrint GeometryCommon Use Definitions
Body SurfaceOrSolidModel GeometryCommon Use Definitions
Body SurfaceModel GeometryCommon Use Definitions
Body Tessellation GeometryCommon Use Definitions
Body Brep GeometryCommon Use Definitions
Body AdvancedBrep GeometryCommon Use Definitions
Body CSG GeometryCommon Use Definitions
Mapped GeometryCommon Use Definitions
Mesh GeometryCommon Use Definitions
IfcBuildingElement
Surface 3D GeometryCommon Use Definitions
IfcSlab
Object TypingCommon Use Definitions
Property Sets for ObjectsCommon Use Definitions
Quantity SetsCommon Use Definitions
Material Layer SetCommon Use Definitions
Spatial ContainmentCommon Use Definitions
Body SweptSolid GeometryCommon Use Definitions
Body Clipping GeometryCommon Use Definitions
Element VoidingCommon Use Definitions
Product AssignmentCommon Use Definitions
IfcSlabElementedCase
AggregationCommon Use Definitions
Product Local PlacementCommon Use Definitions
Surface GeometryCommon Use Definitions
Formal representations
XSD Specification
 <xs:element name="IfcSlabElementedCase" type="ifc:IfcSlabElementedCase" substitutionGroup="ifc:IfcSlab" nillable="true"/>
 <xs:complexType name="IfcSlabElementedCase">
  <xs:complexContent>
   <xs:extension base="ifc:IfcSlab"/>
  </xs:complexContent>
 </xs:complexType>
EXPRESS Specification
ENTITY IfcSlabElementedCase
 SUBTYPE OF (IfcSlab);
 WHERE
  HasDecomposition : HIINDEX(SELF\IfcObjectDefinition.IsDecomposedBy) > 0;
END_ENTITY;

Link to EXPRESS-G diagram EXPRESS-G diagram

Link to this page  Link to this page