IFC 4.3.2.20241204 (IFC4X3_ADD2) under development

6.1.3.5 IfcBuildingElementProxy

6.1.3.5.1 Semantic definition

The IfcBuildingElementProxy is a proxy definition that provides the same functionality as subtypes of IfcBuiltElement, but without having a predefined meaning of the special type of building element it represents.

IfcBuildingElementProxy may be used:

  • To exchange special types of building elements for which the current specification does not yet provide a semantic definition.
  • To represent building elements for which the participating applications can not provide a semantic definition.

6.1.3.5.2 Entity inheritance

6.1.3.5.3 Attributes

# Attribute Type Description
IfcRoot (4)
IfcObjectDefinition (7)
IfcObject (5)
IfcProduct (5)
IfcElement (13)
Click to show 34 hidden inherited attributes
IfcBuildingElementProxy (1)
9 PredefinedType OPTIONAL IfcBuildingElementProxyTypeEnum

Predefined generic type for a building element proxy that is specified in an enumeration. There may be a property set given specifically for the predefined types.

Table 6.1.3.5.Q

6.1.3.5.4 Formal propositions

Name Description
CorrectPredefinedType

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

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

Either there is no building element proxy type object associated, i.e. the IsTypedBy inverse relationship is not provided, or the associated type object has to be of type IfcBuildingElementProxyType.

(SIZEOF(IsTypedBy) = 0) OR
('IFC4X3_DEV_0065273e.IFCBUILDINGELEMENTPROXYTYPE' IN TYPEOF(SELF\IfcObject.IsTypedBy[1].RelatingType))
HasObjectName

A Name attribute should be asserted for a building element proxy.

EXISTS(SELF\IfcRoot.Name)
Table 6.1.3.5.R

6.1.3.5.5 Property sets

  • Pset_BuildingElementProxyCommon
    • Reference
    • Status
    • IsExternal
    • ThermalTransmittance
    • LoadBearing
    • FireRating
  • Pset_ConcreteElementGeneral
    • AssemblyPlace
    • CastingMethod
    • StructuralClass
    • StrengthClass
    • ExposureClass
    • ReinforcementVolumeRatio
    • ReinforcementAreaRatio
    • DimensionalAccuracyClass
    • ConstructionToleranceClass
    • ConcreteCover
    • ConcreteCoverAtMainBars
    • ConcreteCoverAtLinks
    • ReinforcementStrengthClass
  • Pset_Condition
    • AssessmentDate
    • AssessmentCondition
    • AssessmentDescription
    • AssessmentType
    • AssessmentMethod
    • LastAssessmentReport
    • NextAssessmentDate
    • AssessmentFrequency
  • Pset_ConstructionAdministration
    • ProcurementMethod
    • SpecificationSectionNumber
    • SubmittalIdentifer
  • Pset_ConstructionOccurence
    • InstallationDate
    • ModelNumber
    • TagNumber
    • AssetIdentifier
  • Pset_ElementKinematics
    • CyclicPath
    • CyclicRange
    • LinearPath
    • LinearRange
    • MaximumAngularVelocity
    • MaximumConstantSpeed
    • MinimumTime
  • Pset_EnvironmentalCondition
    • ReferenceAirRelativeHumidity
    • ReferenceEnvironmentTemperature
    • MaximumAtmosphericPressure
    • StorageTemperatureRange
    • MaximumWindSpeed
    • OperationalTemperatureRange
    • MaximumRainIntensity
    • SaltMistLevel
    • SeismicResistance
    • SmokeLevel
    • MaximumSolarRadiation
  • Pset_EnvironmentalImpactIndicators
    • Reference
    • FunctionalUnitReference
    • IndicatorsUnit
    • LifeCyclePhase
    • ExpectedServiceLife
    • TotalPrimaryEnergyConsumptionPerUnit
    • WaterConsumptionPerUnit
    • HazardousWastePerUnit
    • NonHazardousWastePerUnit
    • ClimateChangePerUnit
    • AtmosphericAcidificationPerUnit
    • RenewableEnergyConsumptionPerUnit
    • NonRenewableEnergyConsumptionPerUnit
    • ResourceDepletionPerUnit
    • InertWastePerUnit
    • RadioactiveWastePerUnit
    • StratosphericOzoneLayerDestructionPerUnit
    • PhotochemicalOzoneFormationPerUnit
    • EutrophicationPerUnit
  • Pset_EnvironmentalImpactValues
    • TotalPrimaryEnergyConsumption
    • WaterConsumption
    • HazardousWaste
    • NonHazardousWaste
    • ClimateChange
    • AtmosphericAcidification
    • RenewableEnergyConsumption
    • NonRenewableEnergyConsumption
    • ResourceDepletion
    • InertWaste
    • RadioactiveWaste
    • StratosphericOzoneLayerDestruction
    • PhotochemicalOzoneFormation
    • Eutrophication
    • LeadInTime
    • Duration
    • LeadOutTime
  • Pset_InstallationOccurrence
    • InstallationDate
    • AcceptanceDate
    • PutIntoOperationDate
  • Pset_MaintenanceStrategy
    • AssetCriticality
    • AssetFrailty
    • AssetPriority
    • MonitoringType
    • AccidentResponse
  • Pset_MaintenanceTriggerCondition
    • ConditionTargetPerformance
    • ConditionMaintenanceLevel
    • ConditionReplacementLevel
    • ConditionDisposalLevel
  • Pset_MaintenanceTriggerDuration
    • DurationTargetPerformance
    • DurationMaintenanceLevel
    • DurationReplacementLevel
    • DurationDisposalLevel
  • Pset_MaintenanceTriggerPerformance
    • TargetPerformance
    • PerformanceMaintenanceLevel
    • ReplacementLevel
    • DisposalLevel
  • Pset_ManufacturerOccurrence
    • AcquisitionDate
    • BarCode
    • SerialNumber
    • BatchReference
    • AssemblyPlace
    • ManufacturingDate
  • Pset_ManufacturerTypeInformation
    • GlobalTradeItemNumber
    • ArticleNumber
    • ModelReference
    • ModelLabel
    • Manufacturer
    • ProductionYear
    • AssemblyPlace
    • OperationalDocument
    • SafetyDocument
    • PerformanceCertificate
  • Pset_PrecastConcreteElementFabrication
    • TypeDesignation
    • ProductionLotId
    • SerialNumber
    • PieceMark
    • AsBuiltLocationNumber
    • ActualProductionDate
    • ActualErectionDate
  • Pset_PrecastConcreteElementGeneral
    • TypeDesignation
    • CornerChamfer
    • ManufacturingToleranceClass
    • FormStrippingStrength
    • LiftingStrength
    • ReleaseStrength
    • MinimumAllowableSupportLength
    • InitialTension
    • TendonRelaxation
    • TransportationStrength
    • SupportDuringTransportDescription
    • SupportDuringTransportDocReference
    • HollowCorePlugging
    • CamberAtMidspan
    • BatterAtStart
    • BatterAtEnd
    • Twisting
    • Shortening
    • PieceMark
    • DesignLocationNumber
  • Pset_ProvisionForVoid PROVISIONFORVOID
    • VoidShape
    • Width
    • Height
    • Diameter
    • Depth
    • System
  • Pset_RepairOccurrence
    • RepairContent
    • RepairDate
    • MeanTimeToRepair
  • Pset_Risk
    • RiskName
    • RiskType
    • NatureOfRisk
    • RiskAssessmentMethodology
    • UnmitigatedRiskLikelihood
    • UnmitigatedRiskConsequence
    • UnmitigatedRiskSignificance
    • MitigationPlanned
    • MitigatedRiskLikelihood
    • MitigatedRiskConsequence
    • MitigatedRiskSignificance
    • MitigationProposed
    • AssociatedProduct
    • AssociatedActivity
    • AssociatedLocation
  • Pset_ServiceLife
    • ServiceLifeDuration
    • MeanTimeBetweenFailure
  • Pset_Tolerance
    • ToleranceDescription
    • ToleranceBasis
    • OverallTolerance
    • HorizontalTolerance
    • OrthogonalTolerance
    • VerticalTolerance
    • PlanarFlatness
    • HorizontalFlatness
    • ElevationalFlatness
    • SideFlatness
    • OverallOrthogonality
    • HorizontalOrthogonality
    • OrthogonalOrthogonality
    • VerticalOrthogonality
    • OverallStraightness
    • HorizontalStraightness
    • OrthogonalStraightness
    • VerticalStraightness
  • Pset_Uncertainty
    • UncertaintyBasis
    • UncertaintyDescription
    • HorizontalUncertainty
    • LinearUncertainty
    • OrthogonalUncertainty
    • VerticalUncertainty
  • Pset_Warranty
    • WarrantyIdentifier
    • WarrantyStartDate
    • IsExtendedWarranty
    • WarrantyPeriod
    • WarrantyContent
    • PointOfContact
    • Exclusions
  • Qto_BodyGeometryValidation
    • GrossSurfaceArea
    • NetSurfaceArea
    • GrossVolume
    • NetVolume
    • SurfaceGenusBeforeFeatures
    • SurfaceGenusAfterFeatures
  • Qto_BuildingElementProxyQuantities
    • NetSurfaceArea
    • NetVolume

6.1.3.5.6 Concept usage

Concept Usage Description
IfcRoot (2)
IfcObjectDefinition (9)
IfcObject (5)
IfcProduct (18)
IfcElement (44)
IfcBuiltElement (3)
Click to show 81 hidden inherited concepts
IfcBuildingElementProxy (4)
Object Typing General

If no IfcBuildingElementProxyType is attached (i.e. if only occurrence information is available) the PredefinedType should be provided. If set to USERDEFINED a user defined value has to be provided by the ObjectType attribute.

This concept can be applied to the following resources:

Property Sets for Objects General

This concept can be applied to the following resources:

Spatial Containment General

The IfcBuildingElementProxy, as any subtype of IfcBuiltElement, may participate alternatively in one of the two different containment relationships:

  • the Spatial Containment (defined here), or
  • the Element Composition.
Quantity Sets General

This concept can be applied to the following resources:

Table 6.1.3.5.S

6.1.3.5.7 Examples

6.1.3.5.8 Formal representation

ENTITY IfcBuildingElementProxy
SUBTYPE OF (IfcBuiltElement);
PredefinedType : OPTIONAL IfcBuildingElementProxyTypeEnum;
WHERE
CorrectPredefinedType : NOT(EXISTS(PredefinedType)) OR
(PredefinedType <> IfcBuildingElementProxyTypeEnum.USERDEFINED) OR
((PredefinedType = IfcBuildingElementProxyTypeEnum.USERDEFINED) AND EXISTS (SELF\IfcObject.ObjectType));
CorrectTypeAssigned : (SIZEOF(IsTypedBy) = 0) OR
('IFC4X3_DEV_0065273e.IFCBUILDINGELEMENTPROXYTYPE' IN TYPEOF(SELF\IfcObject.IsTypedBy[1].RelatingType));
HasObjectName : EXISTS(SELF\IfcRoot.Name);
END_ENTITY;

6.1.3.5.9 References

Edit on Github


Is this page difficult to understand? Let us know!

6.1.3.5.10 Changelog

6.1.3.5.10.1 IFC4

  • where rule, CorrectPredefinedType
  • where rule, CorrectTypeAssigned
  • where rule, HasObjectName
  • where rule, WR1
  • attribute CompositionType name, Changed from "CompositionType" to "PredefinedType"
  • attribute CompositionType type, Changed from "IfcElementCompositionEnum" to "IfcBuildingElementProxyTypeEnum"

6.1.3.5.10.2 IFC4.3_DEV_0065273e