IfcSpaceType

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:

common properties within shared property sets
common shape representations

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

#	Attribute	Type	Cardinality	Description	C
10	PredefinedType	IfcSpaceTypeEnum	[1:1]	Predefined types to define the particular type of space. There may be property set definitions available for each predefined type.	X
11	LongName	IfcLabel	[0:1]	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.	X

Formal Propositions

Rule	Description
CorrectPredefinedType	The inherited attribute ElementType shall be provided, if the PredefinedType is set to USERDEFINED.

Inherited definitions from supertypes

Entity inheritance

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
IfcTypeObject
5	ApplicableOccurrence	IfcIdentifier	[0:1]	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
6	HasPropertySets	IfcPropertySetDefinition	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.	X
	Types	IfcRelDefinesByType @RelatingType	S[0:1]	Reference to the relationship IfcRelDefinedByType and thus to those occurrence objects, which are defined by this type.	X
IfcTypeProduct
7	RepresentationMaps	IfcRepresentationMap	~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
8	Tag	IfcLabel	[0:1]	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
	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 type.	X
IfcSpatialElementType
9	ElementType	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
IfcSpatialStructureElementType
IfcSpaceType
10	PredefinedType	IfcSpaceTypeEnum	[1:1]	Predefined types to define the particular type of space. There may be property set definitions available for each predefined type.	X
11	LongName	IfcLabel	[0:1]	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.	X

Definitions applying to Common Use Definitions

Concept inheritance

#	Concept	Model View
IfcRoot
	Software Identity	Common Use Definitions
	Revision Control	Common Use Definitions
IfcTypeProduct
	Product Type Shape	Common Use Definitions

Formal representations

XSD 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;

 EXPRESS-G diagram

Link to this page

Item	Change	Description
IFC2x3 to IFC4
IfcSpaceType
OwnerHistory	MODIFIED	Instantiation changed to OPTIONAL.
ApplicableOccurrence	MODIFIED	Type changed from IfcLabel to IfcIdentifier.
LongName	ADDED

	Raum - Typ
	Space Type
	Type de local