KR Core Implementation Guide
1.0.1 - STU1
This page is part of the KR Core (v1.0.1 - STU1) based on FHIR R4. This is an authorized publication. For a full list of available versions, see the Directory of published versions
Active as of 2023-06-30 |
Definitions for the krcore-insuranceTypes extension.
Guidance on how to interpret the contents of this table can be found here.
1. Extension | |
Definition | 환자의 건강보험유형을 표기하기 위한 확장 Optional Extension Element - found in all resources. |
2. Extension.extension | |
Control | 0..0* |
3. Extension.url | |
Fixed Value | http://www.hl7korea.or.kr/fhir/krcore/StructureDefinition/krcore-insuranceTypes |
4. Extension.value[x] | |
Type | Choice of: , 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] Note | See Choice of Data Types for further information about how to use [x] |
5. Extension.value[x].coding | |
Control | 1..? |
Slicing | This element introduces a set of slices on Extension.value[x].coding. The slices are unordered and Open, and can be differentiated using the following discriminators:
|
6. Extension.value[x].coding.system | |
Control | 0..? |
7. Extension.value[x].coding.code | |
Control | 0..? |
8. Extension.value[x].coding:HIRA | |
SliceName | HIRA |
Control | 1..* |
Binding | The codes SHALL be taken from KR Core Insurance Types Codes |
Must Support | true |
9. Extension.value[x].coding:HIRA.system | |
Control | 1..? |
Must Support | true |
10. Extension.value[x].coding:HIRA.code | |
Control | 1..? |
Must Support | true |
Guidance on how to interpret the contents of this table can be found here.
1. Extension | |
Definition | 환자의 건강보험유형을 표기하기 위한 확장 Optional Extension Element - found in all resources. |
Control | 0..* This element is affected by the following invariants: ele-1 |
Invariants | Defined on this element 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. |
Control | 0..0* |
Type | Extension |
Summary | false |
Alternate Names | extensions, user content |
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. |
Invariants | Defined on this element 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()) |
Slicing | This element introduces a set of slices on Extension.extension. The slices are unordered and Open, and can be differentiated using the following discriminators:
|
3. Extension.url | |
Definition | Source of the definition for the extension code - a logical name or a URL. |
Control | 1..1 |
Type | uri |
XML Representation | In the XML format, this property is represented as an attribute. |
Summary | false |
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. |
Fixed Value | http://www.hl7korea.or.kr/fhir/krcore/StructureDefinition/krcore-insuranceTypes |
4. Extension.value[x] | |
Definition | 확장값 - must be one of a constrained set of the data types (see Extensibility for a list). |
Control | 0..1 |
Type | Choice of: CodeableConcept, 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] Note | See Choice of Data Types for further information about how to use [x] |
Summary | false |
Invariants | Defined on this element ele-1: All FHIR elements must have a @value or children (: hasValue() or (children().count() > id.count())) |
5. Extension.value[x].coding | |
Definition | A reference to a code defined by a terminology system. |
Control | 10..* |
Type | Coding |
Summary | true |
Requirements | Allows for alternative encodings within a code system, and translations to other code systems. |
Comments | Codes may be defined very casually in enumerations, or code lists, up to very formal definitions such as SNOMED CT - see the HL7 v3 Core Principles for more information. Ordering of codings is undefined and SHALL NOT be used to infer meaning. Generally, at most only one of the coding values will be labeled as UserSelected = true. |
Invariants | Defined on this element ele-1: All FHIR elements must have a @value or children (: hasValue() or (children().count() > id.count())) |
Slicing | This element introduces a set of slices on Extension.value[x].coding. The slices are unordered and Open, and can be differentiated using the following discriminators:
|
6. Extension.value[x].coding.system | |
Definition | The identification of the code system that defines the meaning of the symbol in the code. |
Control | 0..1 |
Type | uri |
Primitive Value | This primitive element may be present, or absent, or replaced by an extension |
Summary | true |
Requirements | Need to be unambiguous about the source of the definition of the symbol. |
Comments | The URI may be an OID (urn:oid:...) or a UUID (urn:uuid:...). OIDs and UUIDs SHALL be references to the HL7 OID registry. Otherwise, the URI should come from HL7's list of FHIR defined special URIs or it should reference to some definition that establishes the system clearly and unambiguously. |
Invariants | Defined on this element ele-1: All FHIR elements must have a @value or children (: hasValue() or (children().count() > id.count())) |
7. Extension.value[x].coding.code | |
Definition | A symbol in syntax defined by the system. The symbol may be a predefined code or an expression in a syntax defined by the coding system (e.g. post-coordination). |
Control | 0..1 |
Type | code |
Primitive Value | This primitive element may be present, or absent, or replaced by an extension |
Summary | true |
Requirements | Need to refer to a particular code in the system. |
Invariants | Defined on this element ele-1: All FHIR elements must have a @value or children (: hasValue() or (children().count() > id.count())) |
8. Extension.value[x].coding:HIRA | |
SliceName | HIRA |
Definition | A reference to a code defined by a terminology system. |
Control | 10..* |
Binding | The codes SHALL be taken from KR Core Insurance Types CodesFor codes, see (unbound) |
Type | Coding |
Must Support | true |
Summary | true |
Requirements | Allows for alternative encodings within a code system, and translations to other code systems. |
Comments | Codes may be defined very casually in enumerations, or code lists, up to very formal definitions such as SNOMED CT - see the HL7 v3 Core Principles for more information. Ordering of codings is undefined and SHALL NOT be used to infer meaning. Generally, at most only one of the coding values will be labeled as UserSelected = true. |
Invariants | Defined on this element ele-1: All FHIR elements must have a @value or children (: hasValue() or (children().count() > id.count())) |
9. Extension.value[x].coding:HIRA.system | |
Definition | The identification of the code system that defines the meaning of the symbol in the code. |
Control | 10..1 |
Type | uri |
Primitive Value | This primitive element may be present, or absent, or replaced by an extension |
Must Support | true |
Summary | true |
Requirements | Need to be unambiguous about the source of the definition of the symbol. |
Comments | The URI may be an OID (urn:oid:...) or a UUID (urn:uuid:...). OIDs and UUIDs SHALL be references to the HL7 OID registry. Otherwise, the URI should come from HL7's list of FHIR defined special URIs or it should reference to some definition that establishes the system clearly and unambiguously. |
Invariants | Defined on this element ele-1: All FHIR elements must have a @value or children (: hasValue() or (children().count() > id.count())) |
10. Extension.value[x].coding:HIRA.code | |
Definition | A symbol in syntax defined by the system. The symbol may be a predefined code or an expression in a syntax defined by the coding system (e.g. post-coordination). |
Control | 10..1 |
Type | code |
Primitive Value | This primitive element may be present, or absent, or replaced by an extension |
Must Support | true |
Summary | true |
Requirements | Need to refer to a particular code in the system. |
Invariants | Defined on this element 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 found here.
1. Extension | |||
Definition | 환자의 건강보험유형을 표기하기 위한 확장 | ||
Control | 0..* This element is affected by the following invariants: ele-1 | ||
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. | ||
Control | 0..1 | ||
Type | string | ||
XML Representation | In the XML format, this property is represented as an attribute. | ||
Summary | false | ||
3. Extension.extension | |||
Definition | An Extension | ||
Control | 0..0 | ||
Type | Extension | ||
Summary | false | ||
Invariants | Defined on this element 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()) | ||
Slicing | This element introduces a set of slices on Extension.extension. The slices are unordered and Open, and can be differentiated using the following discriminators:
| ||
4. Extension.url | |||
Definition | Source of the definition for the extension code - a logical name or a URL. | ||
Control | 1..1 | ||
Type | uri | ||
XML Representation | In the XML format, this property is represented as an attribute. | ||
Summary | false | ||
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. | ||
Fixed Value | http://www.hl7korea.or.kr/fhir/krcore/StructureDefinition/krcore-insuranceTypes | ||
5. Extension.value[x] | |||
Definition | 확장값 - must be one of a constrained set of the data types (see Extensibility for a list). | ||
Control | 0..1 | ||
Type | CodeableConcept | ||
[x] Note | See Choice of Data Types for further information about how to use [x] | ||
Summary | false | ||
6. Extension.value[x].id | |||
Definition | Unique id for the element within a resource (for internal references). This may be any string value that does not contain spaces. | ||
Control | 0..1 | ||
Type | string | ||
XML Representation | In the XML format, this property is represented as an attribute. | ||
Summary | false | ||
7. Extension.value[x].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. | ||
Control | 0..* | ||
Type | Extension | ||
Summary | false | ||
Alternate Names | extensions, user content | ||
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. | ||
Invariants | Defined on this element 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()) | ||
Slicing | This element introduces a set of slices on Extension.value[x].extension. The slices are unordered and Open, and can be differentiated using the following discriminators:
| ||
8. Extension.value[x].coding | |||
Definition | A reference to a code defined by a terminology system. | ||
Control | 1..* | ||
Type | Coding | ||
Summary | true | ||
Requirements | Allows for alternative encodings within a code system, and translations to other code systems. | ||
Comments | Codes may be defined very casually in enumerations, or code lists, up to very formal definitions such as SNOMED CT - see the HL7 v3 Core Principles for more information. Ordering of codings is undefined and SHALL NOT be used to infer meaning. Generally, at most only one of the coding values will be labeled as UserSelected = true. | ||
Invariants | Defined on this element ele-1: All FHIR elements must have a @value or children (: hasValue() or (children().count() > id.count())) | ||
Slicing | This element introduces a set of slices on Extension.value[x].coding. The slices are unordered and Open, and can be differentiated using the following discriminators:
| ||
9. Extension.value[x].coding.id | |||
Definition | Unique id for the element within a resource (for internal references). This may be any string value that does not contain spaces. | ||
Control | 0..1 | ||
Type | string | ||
XML Representation | In the XML format, this property is represented as an attribute. | ||
Summary | false | ||
10. Extension.value[x].coding.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. | ||
Control | 0..* | ||
Type | Extension | ||
Summary | false | ||
Alternate Names | extensions, user content | ||
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. | ||
Invariants | Defined on this element 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()) | ||
Slicing | This element introduces a set of slices on Extension.value[x].coding.extension. The slices are unordered and Open, and can be differentiated using the following discriminators:
| ||
11. Extension.value[x].coding.system | |||
Definition | The identification of the code system that defines the meaning of the symbol in the code. | ||
Control | 0..1 | ||
Type | uri | ||
Primitive Value | This primitive element may be present, or absent, or replaced by an extension | ||
Summary | true | ||
Requirements | Need to be unambiguous about the source of the definition of the symbol. | ||
Comments | The URI may be an OID (urn:oid:...) or a UUID (urn:uuid:...). OIDs and UUIDs SHALL be references to the HL7 OID registry. Otherwise, the URI should come from HL7's list of FHIR defined special URIs or it should reference to some definition that establishes the system clearly and unambiguously. | ||
Invariants | Defined on this element ele-1: All FHIR elements must have a @value or children (: hasValue() or (children().count() > id.count())) | ||
12. Extension.value[x].coding.version | |||
Definition | The version of the code system which was used when choosing this code. Note that a well-maintained code system does not need the version reported, because the meaning of codes is consistent across versions. However this cannot consistently be assured, and when the meaning is not guaranteed to be consistent, the version SHOULD be exchanged. | ||
Note | This is a business versionId, not a resource version id (see discussion) | ||
Control | 0..1 | ||
Type | string | ||
Primitive Value | This primitive element may be present, or absent, or replaced by an extension | ||
Summary | true | ||
Comments | Where the terminology does not clearly define what string should be used to identify code system versions, the recommendation is to use the date (expressed in FHIR date format) on which that version was officially published as the version date. | ||
Invariants | Defined on this element ele-1: All FHIR elements must have a @value or children (: hasValue() or (children().count() > id.count())) | ||
13. Extension.value[x].coding.code | |||
Definition | A symbol in syntax defined by the system. The symbol may be a predefined code or an expression in a syntax defined by the coding system (e.g. post-coordination). | ||
Control | 0..1 | ||
Type | code | ||
Primitive Value | This primitive element may be present, or absent, or replaced by an extension | ||
Summary | true | ||
Requirements | Need to refer to a particular code in the system. | ||
Invariants | Defined on this element ele-1: All FHIR elements must have a @value or children (: hasValue() or (children().count() > id.count())) | ||
14. Extension.value[x].coding.display | |||
Definition | A representation of the meaning of the code in the system, following the rules of the system. | ||
Control | 0..1 | ||
Type | string | ||
Primitive Value | This primitive element may be present, or absent, or replaced by an extension | ||
Obligations |
| ||
Summary | true | ||
Requirements | Need to be able to carry a human-readable meaning of the code for readers that do not know the system. | ||
Invariants | Defined on this element ele-1: All FHIR elements must have a @value or children (: hasValue() or (children().count() > id.count())) | ||
15. Extension.value[x].coding.userSelected | |||
Definition | Indicates that this coding was chosen by a user directly - e.g. off a pick list of available items (codes or displays). | ||
Control | 0..1 | ||
Type | boolean | ||
Primitive Value | This primitive element may be present, or absent, or replaced by an extension | ||
Summary | true | ||
Requirements | This has been identified as a clinical safety criterium - that this exact system/code pair was chosen explicitly, rather than inferred by the system based on some rules or language processing. | ||
Comments | Amongst a set of alternatives, a directly chosen code is the most appropriate starting point for new translations. There is some ambiguity about what exactly 'directly chosen' implies, and trading partner agreement may be needed to clarify the use of this element and its consequences more completely. | ||
Invariants | Defined on this element ele-1: All FHIR elements must have a @value or children (: hasValue() or (children().count() > id.count())) | ||
16. Extension.value[x].coding:HIRA | |||
SliceName | HIRA | ||
Definition | A reference to a code defined by a terminology system. | ||
Control | 1..* | ||
Binding | The codes SHALL be taken from KR Core Insurance Types Codes | ||
Type | Coding | ||
Must Support | true | ||
Summary | true | ||
Requirements | Allows for alternative encodings within a code system, and translations to other code systems. | ||
Comments | Codes may be defined very casually in enumerations, or code lists, up to very formal definitions such as SNOMED CT - see the HL7 v3 Core Principles for more information. Ordering of codings is undefined and SHALL NOT be used to infer meaning. Generally, at most only one of the coding values will be labeled as UserSelected = true. | ||
Invariants | Defined on this element ele-1: All FHIR elements must have a @value or children (: hasValue() or (children().count() > id.count())) | ||
17. Extension.value[x].coding:HIRA.id | |||
Definition | Unique id for the element within a resource (for internal references). This may be any string value that does not contain spaces. | ||
Control | 0..1 | ||
Type | string | ||
XML Representation | In the XML format, this property is represented as an attribute. | ||
Summary | false | ||
18. Extension.value[x].coding:HIRA.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. | ||
Control | 0..* | ||
Type | Extension | ||
Summary | false | ||
Alternate Names | extensions, user content | ||
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. | ||
Invariants | Defined on this element 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()) | ||
Slicing | This element introduces a set of slices on Extension.value[x].coding.extension. The slices are unordered and Open, and can be differentiated using the following discriminators:
| ||
19. Extension.value[x].coding:HIRA.system | |||
Definition | The identification of the code system that defines the meaning of the symbol in the code. | ||
Control | 1..1 | ||
Type | uri | ||
Primitive Value | This primitive element may be present, or absent, or replaced by an extension | ||
Must Support | true | ||
Summary | true | ||
Requirements | Need to be unambiguous about the source of the definition of the symbol. | ||
Comments | The URI may be an OID (urn:oid:...) or a UUID (urn:uuid:...). OIDs and UUIDs SHALL be references to the HL7 OID registry. Otherwise, the URI should come from HL7's list of FHIR defined special URIs or it should reference to some definition that establishes the system clearly and unambiguously. | ||
Invariants | Defined on this element ele-1: All FHIR elements must have a @value or children (: hasValue() or (children().count() > id.count())) | ||
20. Extension.value[x].coding:HIRA.version | |||
Definition | The version of the code system which was used when choosing this code. Note that a well-maintained code system does not need the version reported, because the meaning of codes is consistent across versions. However this cannot consistently be assured, and when the meaning is not guaranteed to be consistent, the version SHOULD be exchanged. | ||
Note | This is a business versionId, not a resource version id (see discussion) | ||
Control | 0..1 | ||
Type | string | ||
Primitive Value | This primitive element may be present, or absent, or replaced by an extension | ||
Summary | true | ||
Comments | Where the terminology does not clearly define what string should be used to identify code system versions, the recommendation is to use the date (expressed in FHIR date format) on which that version was officially published as the version date. | ||
Invariants | Defined on this element ele-1: All FHIR elements must have a @value or children (: hasValue() or (children().count() > id.count())) | ||
21. Extension.value[x].coding:HIRA.code | |||
Definition | A symbol in syntax defined by the system. The symbol may be a predefined code or an expression in a syntax defined by the coding system (e.g. post-coordination). | ||
Control | 1..1 | ||
Type | code | ||
Primitive Value | This primitive element may be present, or absent, or replaced by an extension | ||
Must Support | true | ||
Summary | true | ||
Requirements | Need to refer to a particular code in the system. | ||
Invariants | Defined on this element ele-1: All FHIR elements must have a @value or children (: hasValue() or (children().count() > id.count())) | ||
22. Extension.value[x].coding:HIRA.display | |||
Definition | A representation of the meaning of the code in the system, following the rules of the system. | ||
Control | 0..1 | ||
Type | string | ||
Primitive Value | This primitive element may be present, or absent, or replaced by an extension | ||
Obligations |
| ||
Summary | true | ||
Requirements | Need to be able to carry a human-readable meaning of the code for readers that do not know the system. | ||
Invariants | Defined on this element ele-1: All FHIR elements must have a @value or children (: hasValue() or (children().count() > id.count())) | ||
23. Extension.value[x].coding:HIRA.userSelected | |||
Definition | Indicates that this coding was chosen by a user directly - e.g. off a pick list of available items (codes or displays). | ||
Control | 0..1 | ||
Type | boolean | ||
Primitive Value | This primitive element may be present, or absent, or replaced by an extension | ||
Summary | true | ||
Requirements | This has been identified as a clinical safety criterium - that this exact system/code pair was chosen explicitly, rather than inferred by the system based on some rules or language processing. | ||
Comments | Amongst a set of alternatives, a directly chosen code is the most appropriate starting point for new translations. There is some ambiguity about what exactly 'directly chosen' implies, and trading partner agreement may be needed to clarify the use of this element and its consequences more completely. | ||
Invariants | Defined on this element ele-1: All FHIR elements must have a @value or children (: hasValue() or (children().count() > id.count())) | ||
24. Extension.value[x].text | |||
Definition | 국가별 언어.representation of the concept as seen/selected/uttered by the user who entered the data and/or which represents the intended meaning of the user. | ||
Control | 0..1 | ||
Type | string | ||
Primitive Value | This primitive element may be present, or absent, or replaced by an extension | ||
Obligations |
| ||
Summary | true | ||
Requirements | The codes from the terminologies do not always capture the correct meaning with all the nuances of the human using them, or sometimes there is no appropriate code at all. In these cases, the text is used to capture the full meaning of the source. | ||
Comments | Very often the text is the same as a displayName of one of the codings. | ||
Invariants | Defined on this element ele-1: All FHIR elements must have a @value or children (: hasValue() or (children().count() > id.count())) |