IfcSpaceType

Natural language names
Raum - Typ
Space Type
Type de local
Change log
ItemSPFXMLChangeDescription
IFC2x3 to IFC4
    IfcSpaceType
      OwnerHistoryMODIFIEDInstantiation changed to OPTIONAL.
      ApplicableOccurrenceMODIFIEDType changed from IfcLabel to IfcIdentifier.
      LongNameADDED
Semantic definitions at the entity
Entity definition

A space represents an area or volume bounded actually or theoretically. Spaces are areas or volumes that provide for certain functions within a building.

The IfcSpaceType defines a list of commonly shared defines commonly shared information for occurrences of spaces. The set of shared information may include:

It is used to define an space specification (i.e. the specific space information, that is common to all occurrences of that space type. Space types may be exchanged without being already assigned to occurrences.

NOTE  The space types are often used to represent space catalogues, less so for sharing a common representation map. Space types in a space catalogue share same space classification and a common set of space requirement properties.

The occurrences of IfcSpaceType are represented by instances of IfcSpace.

HISTORY  New entity in IFC2x3.
IFC4 CHANGE  The attribute LongName has been added to the end of the entity definition.
Attribute definitions
#AttributeTypeCardinalityDescription G
10PredefinedTypeIfcSpaceTypeEnum Predefined types to define the particular type of space. There may be property set definitions available for each predefined type.X
11LongNameIfcLabel? Long name for a space type, used for informal purposes. It should be used, if available, in conjunction with the inherited Name attribute.
NOTE  In many scenarios the Name attribute refers to the short name or number of a space type, and the LongName refers to the full descriptive name.
IFC4 CHANGE  New attribute added at the end of entity definition.
X
Formal Propositions
RuleDescription
CorrectPredefinedTypeThe inherited attribute ElementType shall be provided, if the PredefinedType is set to USERDEFINED.
Inherited definitions from supertypes
Entity inheritance IfcSpatialStructureElementType IfcSpatialElementType IfcTypeProduct IfcTypeObject IfcObjectDefinition IfcRoot
Attribute inheritance
#AttributeTypeCardinalityDescriptionG
IfcRoot
1GlobalIdIfcGloballyUniqueId Assignment of a globally unique identifier within the entire software world. X
2OwnerHistoryIfcOwnerHistory? 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.
IFC4 CHANGE  The attribute has been changed to be OPTIONAL.
X
3NameIfcLabel? 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? 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).
IFC4 CHANGE  The inverse attribute datatype has been added and separated from Decomposes defined at IfcObjectDefinition.
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).
IFC4 CHANGE  The inverse attribute datatype has been added and separated from IsDecomposedBy defined at IfcObjectDefinition.
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.
IFC4 CHANGE  The inverse attribute datatype has been added.
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).
IFC4 CHANGE  The inverse attribute datatype has been changed from the supertype IfcRelDecomposes to subtype IfcRelAggregates.
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).
IFC4 CHANGE  The inverse attribute datatype has been changed from the supertype IfcRelDecomposes to subtype IfcRelAggregates.
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
IfcTypeObject
5ApplicableOccurrenceIfcIdentifier? The attribute optionally defines the data type of the occurrence object, to which the assigned type object can relate. If not present, no instruction is given to which occurrence object the type object is applicable. The following conventions are used:
  • The IFC entity name of the applicable occurrence using the IFC naming convention, CamelCase with IFC prefix
  • It can be optionally followed by the predefined type after the separator "/" (forward slash), using uppercase
  • If one type object is applicable to many occurrence objects, then those occurrence object names should be separate by comma "," forming a comma separated string.
EXAMPLE Refering to a furniture as applicable occurrence entity would be expressed as 'IfcFurnishingElement', refering to a brace as applicable entity would be expressed as 'IfcMember/BRACE', refering to a wall and wall standard case would be expressed as 'IfcWall, IfcWallStandardCase'.
X
6HasPropertySetsIfcPropertySetDefinition? S[1:?] Set list of unique property sets, that are associated with the object type and are common to all object occurrences referring to this object type.
IFC2x3 CHANGE  The attribute aggregate type has been changed from LIST to SET.
X
TypesIfcRelDefinesByType
@RelatingType
S[0:1]Reference to the relationship IfcRelDefinedByType and thus to those occurrence objects, which are defined by this type.X
IfcTypeProduct
7RepresentationMapsIfcRepresentationMap? L[1:?] List of unique representation maps. Each representation map describes a block definition of the shape of the product style. By providing more than one representation map, a multi-view block definition can be given.X
8TagIfcLabel? The tag (or label) identifier at the particular type of a product, e.g. the article number (like the EAN). It is the identifier at the specific level.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 type.
IFC4 CHANGE  New inverse relationship.
X
IfcSpatialElementType
9ElementTypeIfcLabel? 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
IfcSpatialStructureElementType
IfcSpaceType
10PredefinedTypeIfcSpaceTypeEnum Predefined types to define the particular type of space. There may be property set definitions available for each predefined type.X
11LongNameIfcLabel? Long name for a space type, used for informal purposes. It should be used, if available, in conjunction with the inherited Name attribute.
NOTE  In many scenarios the Name attribute refers to the short name or number of a space type, and the LongName refers to the full descriptive name.
IFC4 CHANGE  New attribute added at the end of entity definition.
X
Definitions applying to General Usage

Concept inheritance

#ConceptTemplateModel View
IfcRoot
IdentitySoftware IdentityGeneral Usage
Revision ControlRevision ControlGeneral Usage
IfcObjectDefinition
Classification AssociationClassification AssociationGeneral Usage
IfcTypeProduct
Product Type ShapeProduct Type ShapeGeneral Usage
Formal representations
XML Specification
 <xs:element name="IfcSpaceType" type="ifc:IfcSpaceType" substitutionGroup="ifc:IfcSpatialStructureElementType" nillable="true"/>
 <xs:complexType name="IfcSpaceType">
  <xs:complexContent>
   <xs:extension base="ifc:IfcSpatialStructureElementType">
    <xs:attribute name="PredefinedType" type="ifc:IfcSpaceTypeEnum" use="optional"/>
    <xs:attribute name="LongName" type="ifc:IfcLabel" use="optional"/>
   </xs:extension>
  </xs:complexContent>
 </xs:complexType>
EXPRESS Specification
ENTITY IfcSpaceType
 SUBTYPE OF (IfcSpatialStructureElementType);
  PredefinedType : IfcSpaceTypeEnum;
  LongName : OPTIONAL IfcLabel;
 WHERE
  CorrectPredefinedType : (PredefinedType <> IfcSpaceTypeEnum.USERDEFINED) OR
((PredefinedType = IfcSpaceTypeEnum.USERDEFINED) AND EXISTS(SELF\IfcSpatialElementType.ElementType));
END_ENTITY;

Link to EXPRESS-G diagram EXPRESS-G diagram

Link to this page  Link to this page