Navigation

IfcZone

Definition from IAI: A zone (IfcZone) is essentially an aggregation of spaces, partial spaces or other zones. It is a view based delimited volume for the purpose of analysis and calculation. They cannot overlap with respect to that analysis, but may overlap otherwise.

NOTE: One of the purposes of a zone is to define a fire compartmentation. In this case it defines the geometric information about the fire compartment (through the contained spaces) and information, whether this compartment is ventilated or sprinkler protected. In addition the fire risk code and the harard type can be added, the coding is normally defined within a national fire regulation. All that information is available within the relevant property sets.

RECOMMENDATION: Is case of a zone denoting a (fire) compartment, the following types should be used, if applicable, as values of the ObjectType attribute:

Additional classifications of the IfcZone, as it may be provided by a national classification system, can be assigned by using the IfcRelAssociatesClassification relationship.

HISTORY New entity in IFC Release 1.0

EXPRESS specification:

ENTITY IfcZone
SUBTYPE OF ( IfcGroup);
WHERE
WR1  :  SIZEOF (QUERY (temp <* SELF\IfcGroup.IsGroupedBy.RelatedObjects | NOT(('IFCPRODUCTEXTENSION.IFCZONE' IN TYPEOF(temp)) OR ('IFCPRODUCTEXTENSION.IFCSPACE' IN TYPEOF(temp))) )) = 0;
END_ENTITY;

Formal Propositions:

WR1  :  A Zone is grouped by the objectified relationship IfcRelAssignsToGroup. Only objects of type IfcSpace or IfcZone are allowed as RelatedObjects.

Inheritance graph

ENTITY IfcZone;
ENTITY IfcRoot;
GlobalId  :  IfcGloballyUniqueId;
OwnerHistory  :  IfcOwnerHistory;
Name  :  OPTIONAL IfcLabel;
Description  :  OPTIONAL IfcText;
ENTITY IfcObject;
ObjectType  :  OPTIONAL IfcLabel;
INVERSE
IsDefinedBy  :  SET OF IfcRelDefines FOR RelatedObjects;
HasAssociations  :  SET OF IfcRelAssociates FOR RelatedObjects;
HasAssignments  :  SET OF IfcRelAssigns FOR RelatedObjects;
Decomposes  :  SET [0:1] OF IfcRelDecomposes FOR RelatedObjects;
IsDecomposedBy  :  SET OF IfcRelDecomposes FOR RelatingObject;
ENTITY IfcGroup;
INVERSE
IsGroupedBy  :  IfcRelAssignsToGroup FOR RelatingGroup;
ENTITY IfcZone;
END_ENTITY;