IfcZone

IfcZone

Definition from IAI: Modular or non-modular space between modular planes, which is provided for a component or a group of components which do not necessarily fill the space, or which may be left empty. 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.

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.

References (1):

Name

Type

Referred through

Express-G

IfcGroup

Entity

Subtype

Diagram 3

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 OF IfcRelDecomposes FOR RelatedObjects;

IsDecomposedBy

SET [0:1] OF IfcRelDecomposes FOR RelatingObject;

ENTITY IfcGroup;

INVERSE

IsGroupedBy

IfcRelAssignsToGroup FOR RelatingGroup;

END_ENTITY;