IFC 4.3.2.20250123 (IFC4X3_ADD2) under development

7.7.3.9 IfcNavigationElement

7.7.3.9.1 Semantic definition

A navigation element is an active or passive built element who's primary function is to provide navigational instructions and warnings to vessels, this could be in the form of a floating buoy, a fixed beacon.

Navigation elements can aggregate other components and elements to form the entire structure. this might include a frame structure to form the body, instances of IfcSign for signage or instances of IfcSignal for supplementary lights an/or sound signals.

7.7.3.9.2 Entity inheritance

7.7.3.9.3 Attributes

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

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

Table 7.7.3.9.D

7.7.3.9.4 Formal propositions

Name Description
CorrectPredefinedType

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

NOT(EXISTS(PredefinedType)) OR
(PredefinedType <> IfcNavigationElementTypeEnum.USERDEFINED) OR
((PredefinedType = IfcNavigationElementTypeEnum.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 IfcNavigationElementType.

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

7.7.3.9.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_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

7.7.3.9.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
IfcNavigationElement (1)
Object Typing General

This concept can be applied to the following resources:

Table 7.7.3.9.F

7.7.3.9.7 Formal representation

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

7.7.3.9.8 References

Edit on Github


Is this page difficult to understand? Let us know!

7.7.3.9.9 Changelog

7.7.3.9.9.1 IFC4.3_DEV_54a9de1b

  • New resource