Extensions for Using Data Elements from FHIR R5 in FHIR R4
0.1.0 - STU International flag

Extensions for Using Data Elements from FHIR R5 in FHIR R4 - Downloaded Version null See the Directory of published versions

Extension: ExtensionConditionDefinition_Precondition - Detailed Descriptions

Page standards status: Trial-use Maturity Level: 0

Definitions for the ext-R5-ConditionDefinition.precondition extension.

Guidance on how to interpret the contents of this table can be foundhere

0. Extension
Definition

R5: ConditionDefinition.precondition (new:BackboneElement)


Optional Extension Element - found in all resources.

ShortR5: Observation that suggets this condition (new)Optional Extensions Element
Comments

Element ConditionDefinition.precondition is not mapped to FHIR R4, since FHIR R5 ConditionDefinition is not mapped. Element ConditionDefinition.precondition has no mapping targets in FHIR R4. Typically, this is because the element has been added (is a new element).

Control0..*
This element is affected by the following invariants: ele-1
Is Modifierfalse
Invariantsele-1: All FHIR elements must have a @value or children (hasValue() or (children().count() > id.count()))
ext-1: Must have either extensions or value[x], not both (extension.exists() != value.exists())
ele-1: All FHIR elements must have a @value or children (hasValue() or (children().count() > id.count()))
ext-1: Must have either extensions or value[x], not both (extension.exists() != value.exists())
2. Extension.extension
Definition

An Extension


May be used to represent additional information that is not part of the basic definition of the element. To make the use of extensions safe and manageable, there is a strict set of governance applied to the definition and use of extensions. Though any implementer can define an extension, there is a set of requirements that SHALL be met as part of the definition of the extension.

ShortExtensionAdditional content defined by implementations
Comments

There can be no stigma associated with the use of extensions by any application, project, or standard - regardless of the institution or jurisdiction that uses or defines the extensions. The use of extensions is what allows the FHIR specification to retain a core level of simplicity for everyone.

Control20..*
TypeExtension
Is Modifierfalse
Summaryfalse
Alternate Namesextensions, user content
Invariantsele-1: All FHIR elements must have a @value or children (hasValue() or (children().count() > id.count()))
ext-1: Must have either extensions or value[x], not both (extension.exists() != value.exists())
ele-1: All FHIR elements must have a @value or children (hasValue() or (children().count() > id.count()))
ext-1: Must have either extensions or value[x], not both (extension.exists() != value.exists())
SlicingThis element introduces a set of slices on Extension.extension. The slices areUnordered and Open, and can be differentiated using the following discriminators:
  • value @ url
  • 4. Extension.extension:type
    Slice Nametype
    Definition

    R5: ConditionDefinition.precondition.type (new:code)

    ShortR5: sensitive | specific (new)Additional content defined by implementations
    Comments

    Element ConditionDefinition.precondition.type is part of an existing definition because parent element ConditionDefinition.precondition requires a cross-version extension. Element ConditionDefinition.precondition.type is not mapped to FHIR R4, since FHIR R5 ConditionDefinition is not mapped. Element ConditionDefinition.precondition.type has no mapping targets in FHIR R4. Typically, this is because the element has been added (is a new element).

    Control10..1*
    TypeExtension
    Is Modifierfalse
    Summaryfalse
    Requirements

    Element ConditionDefinition.precondition.type is part of an existing definition because parent element ConditionDefinition.precondition requires a cross-version extension. Element ConditionDefinition.precondition.type is not mapped to FHIR R4, since FHIR R5 ConditionDefinition is not mapped. Element ConditionDefinition.precondition.type has no mapping targets in FHIR R4. Typically, this is because the element has been added (is a new element).

    Invariantsele-1: All FHIR elements must have a @value or children (hasValue() or (children().count() > id.count()))
    ext-1: Must have either extensions or value[x], not both (extension.exists() != value.exists())
    ele-1: All FHIR elements must have a @value or children (hasValue() or (children().count() > id.count()))
    ext-1: Must have either extensions or value[x], not both (extension.exists() != value.exists())
    6. Extension.extension:type.url
    Definition

    Source of the definition for the extension code - a logical name or a URL.

    Shortidentifies the meaning of the extension
    Comments

    The definition may point directly to a computable or human-readable definition of the extensibility codes, or it may be a logical URI as declared in some other specification. The definition SHALL be a URI for the Structure Definition defining the extension.

    Control1..1
    Typeuri
    Is Modifierfalse
    XML FormatIn the XML format, this property is represented as an attribute.
    Summaryfalse
    Fixed Valuetype
    8. Extension.extension:type.value[x]
    Definition

    Kind of pre-condition.


    Value of extension - must be one of a constrained set of the data types (see Extensibility for a list).

    Shortsensitive | specificValue of extension
    Control10..1
    BindingThe codes SHALL be taken from For codes, see R5ConditionPreconditionTypeForR4 (0.1.0)
    (required to http://hl7.org/fhir/uv/xver/ValueSet/R5-condition-precondition-type-for-R4|0.1.0)

    Kind of precondition for the condition.

    Typecode, date, Meta, Address, Attachment, integer, Count, DataRequirement, Dosage, uuid, Identifier, Coding, SampledData, id, positiveInt, Distance, Period, Duration, canonical, Range, RelatedArtifact, base64Binary, UsageContext, Timing, decimal, CodeableConcept, ParameterDefinition, dateTime, string, Contributor, oid, instant, ContactPoint, HumanName, Money, markdown, Ratio, Age, Reference, TriggerDefinition, Quantity, uri, url, Annotation, ContactDetail, boolean, Expression, Signature, unsignedInt, time
    [x] NoteSeeChoice of Data Typesfor further information about how to use [x]
    Is Modifierfalse
    Primitive ValueThis primitive element may be present, or absent, or replaced by an extension
    Summaryfalse
    Invariantsele-1: All FHIR elements must have a @value or children (hasValue() or (children().count() > id.count()))
    ele-1: All FHIR elements must have a @value or children (hasValue() or (children().count() > id.count()))
    10. Extension.extension:code
    Slice Namecode
    Definition

    R5: ConditionDefinition.precondition.code (new:CodeableConcept)

    ShortR5: Code for relevant Observation (new)Additional content defined by implementations
    Comments

    Element ConditionDefinition.precondition.code is part of an existing definition because parent element ConditionDefinition.precondition requires a cross-version extension. Element ConditionDefinition.precondition.code is not mapped to FHIR R4, since FHIR R5 ConditionDefinition is not mapped. Element ConditionDefinition.precondition.code has no mapping targets in FHIR R4. Typically, this is because the element has been added (is a new element).

    Control10..1*
    TypeExtension
    Is Modifierfalse
    Summaryfalse
    Requirements

    Element ConditionDefinition.precondition.code is part of an existing definition because parent element ConditionDefinition.precondition requires a cross-version extension. Element ConditionDefinition.precondition.code is not mapped to FHIR R4, since FHIR R5 ConditionDefinition is not mapped. Element ConditionDefinition.precondition.code has no mapping targets in FHIR R4. Typically, this is because the element has been added (is a new element).

    Invariantsele-1: All FHIR elements must have a @value or children (hasValue() or (children().count() > id.count()))
    ext-1: Must have either extensions or value[x], not both (extension.exists() != value.exists())
    ele-1: All FHIR elements must have a @value or children (hasValue() or (children().count() > id.count()))
    ext-1: Must have either extensions or value[x], not both (extension.exists() != value.exists())
    12. Extension.extension:code.url
    Definition

    Source of the definition for the extension code - a logical name or a URL.

    Shortidentifies the meaning of the extension
    Comments

    The definition may point directly to a computable or human-readable definition of the extensibility codes, or it may be a logical URI as declared in some other specification. The definition SHALL be a URI for the Structure Definition defining the extension.

    Control1..1
    Typeuri
    Is Modifierfalse
    XML FormatIn the XML format, this property is represented as an attribute.
    Summaryfalse
    Fixed Valuecode
    14. Extension.extension:code.value[x]
    Definition

    Code for relevant Observation.


    Value of extension - must be one of a constrained set of the data types (see Extensibility for a list).

    ShortCode for relevant ObservationValue of extension
    Control10..1
    TypeCodeableConcept, date, Meta, Address, Attachment, integer, Count, DataRequirement, Dosage, uuid, Identifier, Coding, SampledData, id, positiveInt, Distance, Period, Duration, canonical, Range, RelatedArtifact, base64Binary, UsageContext, Timing, decimal, ParameterDefinition, dateTime, code, string, Contributor, oid, instant, ContactPoint, HumanName, Money, markdown, Ratio, Age, Reference, TriggerDefinition, Quantity, uri, url, Annotation, ContactDetail, boolean, Expression, Signature, unsignedInt, time
    [x] NoteSeeChoice of Data Typesfor further information about how to use [x]
    Is Modifierfalse
    Summaryfalse
    Invariantsele-1: All FHIR elements must have a @value or children (hasValue() or (children().count() > id.count()))
    ele-1: All FHIR elements must have a @value or children (hasValue() or (children().count() > id.count()))
    16. Extension.extension:value
    Slice Namevalue
    Definition

    R5: ConditionDefinition.precondition.value[x] (new:CodeableConcept, Quantity)

    ShortR5: Value of Observation (new)Additional content defined by implementations
    Comments

    Element ConditionDefinition.precondition.value[x] is part of an existing definition because parent element ConditionDefinition.precondition requires a cross-version extension. Element ConditionDefinition.precondition.value[x] is not mapped to FHIR R4, since FHIR R5 ConditionDefinition is not mapped. Element ConditionDefinition.precondition.value[x] has no mapping targets in FHIR R4. Typically, this is because the element has been added (is a new element).

    Control0..1*
    TypeExtension
    Is Modifierfalse
    Summaryfalse
    Requirements

    Element ConditionDefinition.precondition.value[x] is part of an existing definition because parent element ConditionDefinition.precondition requires a cross-version extension. Element ConditionDefinition.precondition.value[x] is not mapped to FHIR R4, since FHIR R5 ConditionDefinition is not mapped. Element ConditionDefinition.precondition.value[x] has no mapping targets in FHIR R4. Typically, this is because the element has been added (is a new element).

    Invariantsele-1: All FHIR elements must have a @value or children (hasValue() or (children().count() > id.count()))
    ext-1: Must have either extensions or value[x], not both (extension.exists() != value.exists())
    ele-1: All FHIR elements must have a @value or children (hasValue() or (children().count() > id.count()))
    ext-1: Must have either extensions or value[x], not both (extension.exists() != value.exists())
    18. Extension.extension:value.url
    Definition

    Source of the definition for the extension code - a logical name or a URL.

    Shortidentifies the meaning of the extension
    Comments

    The definition may point directly to a computable or human-readable definition of the extensibility codes, or it may be a logical URI as declared in some other specification. The definition SHALL be a URI for the Structure Definition defining the extension.

    Control1..1
    Typeuri
    Is Modifierfalse
    XML FormatIn the XML format, this property is represented as an attribute.
    Summaryfalse
    Fixed Valuevalue
    20. Extension.extension:value.value[x]
    Definition

    Value of Observation.


    Value of extension - must be one of a constrained set of the data types (see Extensibility for a list).

    ShortValue of ObservationValue of extension
    Control0..1
    TypeChoice of: CodeableConcept, Quantity, date, Meta, Address, Attachment, integer, Count, DataRequirement, Dosage, uuid, Identifier, Coding, SampledData, id, positiveInt, Distance, Period, Duration, canonical, Range, RelatedArtifact, base64Binary, UsageContext, Timing, decimal, ParameterDefinition, dateTime, code, string, Contributor, oid, instant, ContactPoint, HumanName, Money, markdown, Ratio, Age, Reference, TriggerDefinition, uri, url, Annotation, ContactDetail, boolean, Expression, Signature, unsignedInt, time
    [x] NoteSeeChoice of Data Typesfor further information about how to use [x]
    Is Modifierfalse
    Summaryfalse
    Invariantsele-1: All FHIR elements must have a @value or children (hasValue() or (children().count() > id.count()))
    ele-1: All FHIR elements must have a @value or children (hasValue() or (children().count() > id.count()))
    22. Extension.url
    Definition

    Source of the definition for the extension code - a logical name or a URL.

    Shortidentifies the meaning of the extension
    Comments

    The definition may point directly to a computable or human-readable definition of the extensibility codes, or it may be a logical URI as declared in some other specification. The definition SHALL be a URI for the Structure Definition defining the extension.

    Control1..1
    Typeuri
    Is Modifierfalse
    XML FormatIn the XML format, this property is represented as an attribute.
    Summaryfalse
    Fixed Valuehttp://hl7.org/fhir/5.0/StructureDefinition/extension-ConditionDefinition.precondition
    24. Extension.value[x]
    Definition

    Value of extension - must be one of a constrained set of the data types (see Extensibility for a list).

    ShortValue of extension
    Control0..01
    TypeChoice of: base64Binary, boolean, canonical, code, date, dateTime, decimal, id, instant, integer, markdown, oid, positiveInt, string, time, unsignedInt, uri, url, uuid, Address, Age, Annotation, Attachment, CodeableConcept, Coding, ContactPoint, Count, Distance, Duration, HumanName, Identifier, Money, Period, Quantity, Range, Ratio, Reference, SampledData, Signature, Timing, ContactDetail, Contributor, DataRequirement, Expression, ParameterDefinition, RelatedArtifact, TriggerDefinition, UsageContext, Dosage, Meta
    Is Modifierfalse
    Primitive ValueThis primitive element may be present, or absent, or replaced by an extension
    Summaryfalse
    Invariantsele-1: All FHIR elements must have a @value or children (hasValue() or (children().count() > id.count()))
    ele-1: All FHIR elements must have a @value or children (hasValue() or (children().count() > id.count()))

    Guidance on how to interpret the contents of this table can be foundhere

    0. Extension
    Definition

    R5: ConditionDefinition.precondition (new:BackboneElement)

    ShortR5: Observation that suggets this condition (new)
    Comments

    Element ConditionDefinition.precondition is not mapped to FHIR R4, since FHIR R5 ConditionDefinition is not mapped. Element ConditionDefinition.precondition has no mapping targets in FHIR R4. Typically, this is because the element has been added (is a new element).

    Control0..*
    Is Modifierfalse
    2. Extension.extension
    Control2..*
    SlicingThis element introduces a set of slices on Extension.extension. The slices areUnordered and Open, and can be differentiated using the following discriminators:
    • value @ url
    • 4. Extension.extension:type
      Slice Nametype
      Definition

      R5: ConditionDefinition.precondition.type (new:code)

      ShortR5: sensitive | specific (new)
      Comments

      Element ConditionDefinition.precondition.type is part of an existing definition because parent element ConditionDefinition.precondition requires a cross-version extension. Element ConditionDefinition.precondition.type is not mapped to FHIR R4, since FHIR R5 ConditionDefinition is not mapped. Element ConditionDefinition.precondition.type has no mapping targets in FHIR R4. Typically, this is because the element has been added (is a new element).

      Control1..1
      Requirements

      Element ConditionDefinition.precondition.type is part of an existing definition because parent element ConditionDefinition.precondition requires a cross-version extension. Element ConditionDefinition.precondition.type is not mapped to FHIR R4, since FHIR R5 ConditionDefinition is not mapped. Element ConditionDefinition.precondition.type has no mapping targets in FHIR R4. Typically, this is because the element has been added (is a new element).

      6. Extension.extension:type.url
      Control1..1
      Fixed Valuetype
      8. Extension.extension:type.value[x]
      Definition

      Kind of pre-condition.

      Shortsensitive | specific
      Control1..1
      BindingThe codes SHALL be taken from R5ConditionPreconditionTypeForR4 (0.1.0)
      (required to http://hl7.org/fhir/uv/xver/ValueSet/R5-condition-precondition-type-for-R4|0.1.0)

      Kind of precondition for the condition.

      Typecode
      [x] NoteSeeChoice of Data Typesfor further information about how to use [x]
      Primitive ValueThis primitive element may be present, or absent, or replaced by an extension
      10. Extension.extension:code
      Slice Namecode
      Definition

      R5: ConditionDefinition.precondition.code (new:CodeableConcept)

      ShortR5: Code for relevant Observation (new)
      Comments

      Element ConditionDefinition.precondition.code is part of an existing definition because parent element ConditionDefinition.precondition requires a cross-version extension. Element ConditionDefinition.precondition.code is not mapped to FHIR R4, since FHIR R5 ConditionDefinition is not mapped. Element ConditionDefinition.precondition.code has no mapping targets in FHIR R4. Typically, this is because the element has been added (is a new element).

      Control1..1
      Requirements

      Element ConditionDefinition.precondition.code is part of an existing definition because parent element ConditionDefinition.precondition requires a cross-version extension. Element ConditionDefinition.precondition.code is not mapped to FHIR R4, since FHIR R5 ConditionDefinition is not mapped. Element ConditionDefinition.precondition.code has no mapping targets in FHIR R4. Typically, this is because the element has been added (is a new element).

      12. Extension.extension:code.url
      Control1..1
      Fixed Valuecode
      14. Extension.extension:code.value[x]
      Definition

      Code for relevant Observation.

      ShortCode for relevant Observation
      Control1..1
      TypeCodeableConcept
      [x] NoteSeeChoice of Data Typesfor further information about how to use [x]
      16. Extension.extension:value
      Slice Namevalue
      Definition

      R5: ConditionDefinition.precondition.value[x] (new:CodeableConcept, Quantity)

      ShortR5: Value of Observation (new)
      Comments

      Element ConditionDefinition.precondition.value[x] is part of an existing definition because parent element ConditionDefinition.precondition requires a cross-version extension. Element ConditionDefinition.precondition.value[x] is not mapped to FHIR R4, since FHIR R5 ConditionDefinition is not mapped. Element ConditionDefinition.precondition.value[x] has no mapping targets in FHIR R4. Typically, this is because the element has been added (is a new element).

      Control0..1
      Requirements

      Element ConditionDefinition.precondition.value[x] is part of an existing definition because parent element ConditionDefinition.precondition requires a cross-version extension. Element ConditionDefinition.precondition.value[x] is not mapped to FHIR R4, since FHIR R5 ConditionDefinition is not mapped. Element ConditionDefinition.precondition.value[x] has no mapping targets in FHIR R4. Typically, this is because the element has been added (is a new element).

      18. Extension.extension:value.url
      Control1..1
      Fixed Valuevalue
      20. Extension.extension:value.value[x]
      Definition

      Value of Observation.

      ShortValue of Observation
      Control0..1
      TypeChoice of: CodeableConcept, Quantity
      [x] NoteSeeChoice of Data Typesfor further information about how to use [x]
      22. Extension.url
      Control1..1
      Fixed Valuehttp://hl7.org/fhir/5.0/StructureDefinition/extension-ConditionDefinition.precondition
      24. Extension.value[x]
      Control0..0

      Guidance on how to interpret the contents of this table can be foundhere

      0. Extension
      Definition

      R5: ConditionDefinition.precondition (new:BackboneElement)

      ShortR5: Observation that suggets this condition (new)
      Comments

      Element ConditionDefinition.precondition is not mapped to FHIR R4, since FHIR R5 ConditionDefinition is not mapped. Element ConditionDefinition.precondition has no mapping targets in FHIR R4. Typically, this is because the element has been added (is a new element).

      Control0..*
      This element is affected by the following invariants: ele-1
      Is Modifierfalse
      Invariantsele-1: All FHIR elements must have a @value or children (hasValue() or (children().count() > id.count()))
      ext-1: Must have either extensions or value[x], not both (extension.exists() != value.exists())
      2. Extension.id
      Definition

      Unique id for the element within a resource (for internal references). This may be any string value that does not contain spaces.

      ShortUnique id for inter-element referencing
      Control0..1
      Typestring
      Is Modifierfalse
      XML FormatIn the XML format, this property is represented as an attribute.
      Summaryfalse
      4. Extension.extension
      Definition

      An Extension

      ShortExtension
      Control2..*
      TypeExtension
      Is Modifierfalse
      Summaryfalse
      Invariantsele-1: All FHIR elements must have a @value or children (hasValue() or (children().count() > id.count()))
      ext-1: Must have either extensions or value[x], not both (extension.exists() != value.exists())
      SlicingThis element introduces a set of slices on Extension.extension. The slices areUnordered and Open, and can be differentiated using the following discriminators:
      • value @ url
      • 6. Extension.extension:type
        Slice Nametype
        Definition

        R5: ConditionDefinition.precondition.type (new:code)

        ShortR5: sensitive | specific (new)
        Comments

        Element ConditionDefinition.precondition.type is part of an existing definition because parent element ConditionDefinition.precondition requires a cross-version extension. Element ConditionDefinition.precondition.type is not mapped to FHIR R4, since FHIR R5 ConditionDefinition is not mapped. Element ConditionDefinition.precondition.type has no mapping targets in FHIR R4. Typically, this is because the element has been added (is a new element).

        Control1..1
        TypeExtension
        Is Modifierfalse
        Summaryfalse
        Requirements

        Element ConditionDefinition.precondition.type is part of an existing definition because parent element ConditionDefinition.precondition requires a cross-version extension. Element ConditionDefinition.precondition.type is not mapped to FHIR R4, since FHIR R5 ConditionDefinition is not mapped. Element ConditionDefinition.precondition.type has no mapping targets in FHIR R4. Typically, this is because the element has been added (is a new element).

        Invariantsele-1: All FHIR elements must have a @value or children (hasValue() or (children().count() > id.count()))
        ext-1: Must have either extensions or value[x], not both (extension.exists() != value.exists())
        8. Extension.extension:type.id
        Definition

        Unique id for the element within a resource (for internal references). This may be any string value that does not contain spaces.

        ShortUnique id for inter-element referencing
        Control0..1
        Typestring
        Is Modifierfalse
        XML FormatIn the XML format, this property is represented as an attribute.
        Summaryfalse
        10. Extension.extension:type.extension
        Definition

        May be used to represent additional information that is not part of the basic definition of the element. To make the use of extensions safe and manageable, there is a strict set of governance applied to the definition and use of extensions. Though any implementer can define an extension, there is a set of requirements that SHALL be met as part of the definition of the extension.

        ShortAdditional content defined by implementations
        Comments

        There can be no stigma associated with the use of extensions by any application, project, or standard - regardless of the institution or jurisdiction that uses or defines the extensions. The use of extensions is what allows the FHIR specification to retain a core level of simplicity for everyone.

        Control0..*
        TypeExtension
        Is Modifierfalse
        Summaryfalse
        Alternate Namesextensions, user content
        Invariantsele-1: All FHIR elements must have a @value or children (hasValue() or (children().count() > id.count()))
        ext-1: Must have either extensions or value[x], not both (extension.exists() != value.exists())
        SlicingThis element introduces a set of slices on Extension.extension.extension. The slices areUnordered and Open, and can be differentiated using the following discriminators:
        • value @ url
        • 12. Extension.extension:type.url
          Definition

          Source of the definition for the extension code - a logical name or a URL.

          Shortidentifies the meaning of the extension
          Comments

          The definition may point directly to a computable or human-readable definition of the extensibility codes, or it may be a logical URI as declared in some other specification. The definition SHALL be a URI for the Structure Definition defining the extension.

          Control1..1
          Typeuri
          Is Modifierfalse
          XML FormatIn the XML format, this property is represented as an attribute.
          Summaryfalse
          Fixed Valuetype
          14. Extension.extension:type.value[x]
          Definition

          Kind of pre-condition.

          Shortsensitive | specific
          Control1..1
          BindingThe codes SHALL be taken from R5ConditionPreconditionTypeForR4 (0.1.0)
          (required to http://hl7.org/fhir/uv/xver/ValueSet/R5-condition-precondition-type-for-R4|0.1.0)

          Kind of precondition for the condition.

          Typecode
          [x] NoteSeeChoice of Data Typesfor further information about how to use [x]
          Is Modifierfalse
          Primitive ValueThis primitive element may be present, or absent, or replaced by an extension
          Summaryfalse
          Invariantsele-1: All FHIR elements must have a @value or children (hasValue() or (children().count() > id.count()))
          16. Extension.extension:code
          Slice Namecode
          Definition

          R5: ConditionDefinition.precondition.code (new:CodeableConcept)

          ShortR5: Code for relevant Observation (new)
          Comments

          Element ConditionDefinition.precondition.code is part of an existing definition because parent element ConditionDefinition.precondition requires a cross-version extension. Element ConditionDefinition.precondition.code is not mapped to FHIR R4, since FHIR R5 ConditionDefinition is not mapped. Element ConditionDefinition.precondition.code has no mapping targets in FHIR R4. Typically, this is because the element has been added (is a new element).

          Control1..1
          TypeExtension
          Is Modifierfalse
          Summaryfalse
          Requirements

          Element ConditionDefinition.precondition.code is part of an existing definition because parent element ConditionDefinition.precondition requires a cross-version extension. Element ConditionDefinition.precondition.code is not mapped to FHIR R4, since FHIR R5 ConditionDefinition is not mapped. Element ConditionDefinition.precondition.code has no mapping targets in FHIR R4. Typically, this is because the element has been added (is a new element).

          Invariantsele-1: All FHIR elements must have a @value or children (hasValue() or (children().count() > id.count()))
          ext-1: Must have either extensions or value[x], not both (extension.exists() != value.exists())
          18. Extension.extension:code.id
          Definition

          Unique id for the element within a resource (for internal references). This may be any string value that does not contain spaces.

          ShortUnique id for inter-element referencing
          Control0..1
          Typestring
          Is Modifierfalse
          XML FormatIn the XML format, this property is represented as an attribute.
          Summaryfalse
          20. Extension.extension:code.extension
          Definition

          May be used to represent additional information that is not part of the basic definition of the element. To make the use of extensions safe and manageable, there is a strict set of governance applied to the definition and use of extensions. Though any implementer can define an extension, there is a set of requirements that SHALL be met as part of the definition of the extension.

          ShortAdditional content defined by implementations
          Comments

          There can be no stigma associated with the use of extensions by any application, project, or standard - regardless of the institution or jurisdiction that uses or defines the extensions. The use of extensions is what allows the FHIR specification to retain a core level of simplicity for everyone.

          Control0..*
          TypeExtension
          Is Modifierfalse
          Summaryfalse
          Alternate Namesextensions, user content
          Invariantsele-1: All FHIR elements must have a @value or children (hasValue() or (children().count() > id.count()))
          ext-1: Must have either extensions or value[x], not both (extension.exists() != value.exists())
          SlicingThis element introduces a set of slices on Extension.extension.extension. The slices areUnordered and Open, and can be differentiated using the following discriminators:
          • value @ url
          • 22. Extension.extension:code.url
            Definition

            Source of the definition for the extension code - a logical name or a URL.

            Shortidentifies the meaning of the extension
            Comments

            The definition may point directly to a computable or human-readable definition of the extensibility codes, or it may be a logical URI as declared in some other specification. The definition SHALL be a URI for the Structure Definition defining the extension.

            Control1..1
            Typeuri
            Is Modifierfalse
            XML FormatIn the XML format, this property is represented as an attribute.
            Summaryfalse
            Fixed Valuecode
            24. Extension.extension:code.value[x]
            Definition

            Code for relevant Observation.

            ShortCode for relevant Observation
            Control1..1
            TypeCodeableConcept
            [x] NoteSeeChoice of Data Typesfor further information about how to use [x]
            Is Modifierfalse
            Summaryfalse
            Invariantsele-1: All FHIR elements must have a @value or children (hasValue() or (children().count() > id.count()))
            26. Extension.extension:value
            Slice Namevalue
            Definition

            R5: ConditionDefinition.precondition.value[x] (new:CodeableConcept, Quantity)

            ShortR5: Value of Observation (new)
            Comments

            Element ConditionDefinition.precondition.value[x] is part of an existing definition because parent element ConditionDefinition.precondition requires a cross-version extension. Element ConditionDefinition.precondition.value[x] is not mapped to FHIR R4, since FHIR R5 ConditionDefinition is not mapped. Element ConditionDefinition.precondition.value[x] has no mapping targets in FHIR R4. Typically, this is because the element has been added (is a new element).

            Control0..1
            TypeExtension
            Is Modifierfalse
            Summaryfalse
            Requirements

            Element ConditionDefinition.precondition.value[x] is part of an existing definition because parent element ConditionDefinition.precondition requires a cross-version extension. Element ConditionDefinition.precondition.value[x] is not mapped to FHIR R4, since FHIR R5 ConditionDefinition is not mapped. Element ConditionDefinition.precondition.value[x] has no mapping targets in FHIR R4. Typically, this is because the element has been added (is a new element).

            Invariantsele-1: All FHIR elements must have a @value or children (hasValue() or (children().count() > id.count()))
            ext-1: Must have either extensions or value[x], not both (extension.exists() != value.exists())
            28. Extension.extension:value.id
            Definition

            Unique id for the element within a resource (for internal references). This may be any string value that does not contain spaces.

            ShortUnique id for inter-element referencing
            Control0..1
            Typestring
            Is Modifierfalse
            XML FormatIn the XML format, this property is represented as an attribute.
            Summaryfalse
            30. Extension.extension:value.extension
            Definition

            May be used to represent additional information that is not part of the basic definition of the element. To make the use of extensions safe and manageable, there is a strict set of governance applied to the definition and use of extensions. Though any implementer can define an extension, there is a set of requirements that SHALL be met as part of the definition of the extension.

            ShortAdditional content defined by implementations
            Comments

            There can be no stigma associated with the use of extensions by any application, project, or standard - regardless of the institution or jurisdiction that uses or defines the extensions. The use of extensions is what allows the FHIR specification to retain a core level of simplicity for everyone.

            Control0..*
            TypeExtension
            Is Modifierfalse
            Summaryfalse
            Alternate Namesextensions, user content
            Invariantsele-1: All FHIR elements must have a @value or children (hasValue() or (children().count() > id.count()))
            ext-1: Must have either extensions or value[x], not both (extension.exists() != value.exists())
            SlicingThis element introduces a set of slices on Extension.extension.extension. The slices areUnordered and Open, and can be differentiated using the following discriminators:
            • value @ url
            • 32. Extension.extension:value.url
              Definition

              Source of the definition for the extension code - a logical name or a URL.

              Shortidentifies the meaning of the extension
              Comments

              The definition may point directly to a computable or human-readable definition of the extensibility codes, or it may be a logical URI as declared in some other specification. The definition SHALL be a URI for the Structure Definition defining the extension.

              Control1..1
              Typeuri
              Is Modifierfalse
              XML FormatIn the XML format, this property is represented as an attribute.
              Summaryfalse
              Fixed Valuevalue
              34. Extension.extension:value.value[x]
              Definition

              Value of Observation.

              ShortValue of Observation
              Control0..1
              TypeChoice of: CodeableConcept, Quantity
              [x] NoteSeeChoice of Data Typesfor further information about how to use [x]
              Is Modifierfalse
              Summaryfalse
              Invariantsele-1: All FHIR elements must have a @value or children (hasValue() or (children().count() > id.count()))
              36. Extension.url
              Definition

              Source of the definition for the extension code - a logical name or a URL.

              Shortidentifies the meaning of the extension
              Comments

              The definition may point directly to a computable or human-readable definition of the extensibility codes, or it may be a logical URI as declared in some other specification. The definition SHALL be a URI for the Structure Definition defining the extension.

              Control1..1
              Typeuri
              Is Modifierfalse
              XML FormatIn the XML format, this property is represented as an attribute.
              Summaryfalse
              Fixed Valuehttp://hl7.org/fhir/5.0/StructureDefinition/extension-ConditionDefinition.precondition
              38. Extension.value[x]
              Definition

              Value of extension - must be one of a constrained set of the data types (see Extensibility for a list).

              ShortValue of extension
              Control0..0
              TypeChoice of: base64Binary, boolean, canonical, code, date, dateTime, decimal, id, instant, integer, markdown, oid, positiveInt, string, time, unsignedInt, uri, url, uuid, Address, Age, Annotation, Attachment, CodeableConcept, Coding, ContactPoint, Count, Distance, Duration, HumanName, Identifier, Money, Period, Quantity, Range, Ratio, Reference, SampledData, Signature, Timing, ContactDetail, Contributor, DataRequirement, Expression, ParameterDefinition, RelatedArtifact, TriggerDefinition, UsageContext, Dosage, Meta
              Is Modifierfalse
              Primitive ValueThis primitive element may be present, or absent, or replaced by an extension
              Summaryfalse
              Invariantsele-1: All FHIR elements must have a @value or children (hasValue() or (children().count() > id.count()))