IFC 4.3.2.20250327 (IFC4X3_ADD2) under development

7.4.3.41 IfcProtectiveDevice

7.4.3.41.1 Semantic definition

A protective device breaks an electrical circuit when a stated electric current that passes through it is exceeded.

A protective device provides protection against electrical current only (not as a general protective device). It may be used to represent the complete set of elements including both the tripping unit and the breaking unit that provide the protection. This may be particularly useful at earlier stages of design where the approach to breaking the electrical supply may be determined but the method of tripping may not. Alternatively, this entity may be used to specifically represent the breaking unit alone (in which case the tripping unit will also be specifically identified). This entity is specific to dedicated protective devices and excludes electrical outlets that may have circuit protection.

7.4.3.41.2 Entity inheritance

7.4.3.41.3 Attributes

# Attribute Type Description
IfcRoot (4)
IfcObjectDefinition (7)
IfcObject (5)
IfcProduct (5)
IfcElement (13)
IfcDistributionElement (1)
IfcDistributionFlowElement (1)
Click to show 36 hidden inherited attributes
IfcProtectiveDevice (1)
9 PredefinedType OPTIONAL IfcProtectiveDeviceTypeEnum

A list of types to further identify the object. Some property sets may be specifically applicable to one of these types.

Table 7.4.3.41.D

7.4.3.41.4 Formal propositions

Name Description
CorrectPredefinedType

Either the PredefinedType attribute is unset (e.g. because an IfcProtectiveDeviceType is associated), or the inherited attribute ObjectType shall be provided, if the PredefinedType is set to USERDEFINED.

NOT(EXISTS(PredefinedType)) OR
(PredefinedType <> IfcProtectiveDeviceTypeEnum.USERDEFINED) OR
((PredefinedType = IfcProtectiveDeviceTypeEnum.USERDEFINED) AND EXISTS (SELF\IfcObject.ObjectType))
CorrectTypeAssigned

Either there is no protective device type object associated, i.e. the IsTypedBy inverse relationship is not provided, or the associated type object has to be of type IfcProtectiveDeviceType.

(SIZEOF(IsTypedBy) = 0) OR
('IFC4X3_DEV_738df036.IFCPROTECTIVEDEVICETYPE' IN TYPEOF(SELF\IfcObject.IsTypedBy[1].RelatingType))
Table 7.4.3.41.E

7.4.3.41.5 Property sets

7.4.3.41.6 Concept usage

Concept Usage Description
IfcRoot (2)
IfcObjectDefinition (9)
IfcObject (5)
IfcProduct (18)
IfcElement (44)
IfcDistributionElement (4)
IfcDistributionFlowElement (4)
IfcFlowController (2)
Click to show 88 hidden inherited concepts
IfcProtectiveDevice (6)
Material Set General

This concept can be applied to the following resources:

  • Casing - Material from which the casing is constructed.
Object Typing General

This concept can be applied to the following resources:

Port Nesting General

This concept can be applied with the following combinations:

PortName Flow PredefinedType Description
Line SINK ELECTRICAL No description available.
Load SOURCE ELECTRICAL No description available.
Table 7.4.3.41.G
Property Sets for Objects General

This concept can be applied to the following resources:

Quantity Sets General

This concept can be applied to the following resources:

Material Constituent Set General

No description available.

Table 7.4.3.41.F

7.4.3.41.7 Formal representation

ENTITY IfcProtectiveDevice
SUBTYPE OF (IfcFlowController);
PredefinedType : OPTIONAL IfcProtectiveDeviceTypeEnum;
WHERE
CorrectPredefinedType : NOT(EXISTS(PredefinedType)) OR
(PredefinedType <> IfcProtectiveDeviceTypeEnum.USERDEFINED) OR
((PredefinedType = IfcProtectiveDeviceTypeEnum.USERDEFINED) AND EXISTS (SELF\IfcObject.ObjectType));
CorrectTypeAssigned : (SIZEOF(IsTypedBy) = 0) OR
('IFC4X3_DEV_738df036.IFCPROTECTIVEDEVICETYPE' IN TYPEOF(SELF\IfcObject.IsTypedBy[1].RelatingType));
END_ENTITY;

7.4.3.41.8 References

Edit on Github


Is this page difficult to understand? Let us know!

7.4.3.41.9 Changelog

7.4.3.41.9.1 IFC4

  • New resource