IFC 4.3.2.20241204 (IFC4X3_ADD2) under development

6.6.3.12 IfcPavement

6.6.3.12.1 Semantic definition

Type of built element in a road or other paved area to provide an even surface sustaining loads from vehicles or pedestrians, usually comprising several courses.

NOTE Definition from ISO 6707-1: road, runway, or similar construction above the subgrade.

6.6.3.12.2 Entity inheritance

6.6.3.12.3 Attributes

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

Identifies the predefined type of a pavement element. This type may associate additional specific property sets. NOTE The PredefinedType shall only be used, if no IfcPavementType is assigned, providing its own IfcCourseType.PredefinedType.

Table 6.6.3.12.D

6.6.3.12.4 Formal propositions

Name Description
CorrectPredefinedType

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

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

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

(SIZEOF(IsTypedBy) = 0) OR
('IFC4X3_DEV_54a9de1b.IFCPAVEMENTTYPE' IN TYPEOF(SELF\IfcObject.IsTypedBy[1].RelatingType))
Table 6.6.3.12.E

6.6.3.12.5 Property sets

  • 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_PavementCommon
    • Reference
    • Status
    • NominalThicknessEnd
    • StructuralSlope
    • StructuralSlopeType
    • NominalWidth
    • NominalLength
    • NominalThickness
  • Pset_PavementSurfaceCommon
    • PavementRoughness
    • PavementTexture
  • 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_Tiling
    • Permeability
    • TileLength
    • TileWidth
  • 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_PavementBaseQuantities
    • Length
    • Width
    • Depth
    • GrossArea
    • NetArea
    • GrossVolume
    • NetVolume

6.6.3.12.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
IfcPavement (3)
Object Typing General

This concept can be applied to the following resources:

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:

Table 6.6.3.12.F

6.6.3.12.7 Formal representation

ENTITY IfcPavement
SUBTYPE OF (IfcBuiltElement);
PredefinedType : OPTIONAL IfcPavementTypeEnum;
WHERE
CorrectPredefinedType : NOT(EXISTS(PredefinedType)) OR
(PredefinedType <> IfcPavementTypeEnum.USERDEFINED) OR
((PredefinedType = IfcPavementTypeEnum.USERDEFINED) AND EXISTS (SELF\IfcObject.ObjectType));
CorrectTypeAssigned : (SIZEOF(IsTypedBy) = 0) OR
('IFC4X3_DEV_54a9de1b.IFCPAVEMENTTYPE' IN TYPEOF(SELF\IfcObject.IsTypedBy[1].RelatingType));
END_ENTITY;

6.6.3.12.8 References

Edit on Github


Is this page difficult to understand? Let us know!

6.6.3.12.9 Changelog

6.6.3.12.9.1 IFC4.3_DEV_54a9de1b

  • New resource