NP Core Implementation Guide
1.0.0 - Release Nepal flag

NP Core Implementation Guide - Local Development build (v1.0.0) built by the FHIR (HL7® FHIR® Standard) Build Tools. See the Directory of published versions

Data Type Profile: NP Core Address

Official URL: http://fhir.digitalhealth.gov.np/core/StructureDefinition/np-core-address Version: 1.0.0
Active as of 2026-10-14 Computable Name: NPCoreAddress

A general-purpose address profile whose base fields carry standard FHIR Address semantics for any country. When country is Nepal ("NP"), the profile additionally supports coded extensions for the country's federal administrative geography of provinces, districts, and local levels, with optional geolocation support.

Because the base FHIR Address type uses plain string for the state, district, and city fields, formal coded bindings cannot be applied directly. This profile therefore introduces three extensions, each carrying a Coding bound (required) to the appropriate Nepal administrative-geography value set: province, district, or local level; all of which draw their codes from the Nepal Administrative Location code system. It also allows an optional geolocation extension for carrying latitude and longitude when precise map-based location is needed.

Dual-field convention

Systems SHOULD populate at least the coded extension. Its paired string field should be populated with the human-readable display name as far as possible.

  • The extension carries the machine-processable Coding (system + code + display), enabling reliable querying, validation, and interoperability.
  • The string field carries the human-readable display name.

The Coding.display value and the paired string field will typically be identical.

Usages:

You can also check for usages in the FHIR IG Statistics

Formal Views of Profile Content

Description Differentials, Snapshots, and other representations.

NameFlagsCard.TypeDescription & Constraints    Filter: doco
Address C 0..* Address An address expressed using postal conventions (as opposed to GPS or other location definition formats)
Constraints: np-addr-1
Address.Slices for extension Content/Rules for all slices
Address.Slices for extension.extension:province This element has obligations and must be supported. 0..1 Coding Province (coded, Nepal addresses only)
URL: http://fhir.digitalhealth.gov.np/core/StructureDefinition/np-core-province
Binding: Nepal Province ValueSet (required)
ObligationsActor
SHOULD:able-to-populate NP Core Creator
SHALL:handle NP Core Consumer
SHALL:handle NP Core Server
Address.Slices for extension.extension:district This element has obligations and must be supported. 0..1 Coding District (coded, Nepal addresses only)
URL: http://fhir.digitalhealth.gov.np/core/StructureDefinition/np-core-district
Binding: Nepal District ValueSet (required)
ObligationsActor
SHOULD:able-to-populate NP Core Creator
SHALL:handle NP Core Consumer
SHALL:handle NP Core Server
Address.Slices for extension.extension:localLevel This element has obligations and must be supported. 0..1 Coding Local level (coded, Nepal addresses only)
URL: http://fhir.digitalhealth.gov.np/core/StructureDefinition/np-core-local-level
Binding: Nepal Local Level ValueSet (required)
ObligationsActor
SHOULD:able-to-populate NP Core Creator
SHALL:handle NP Core Consumer
SHALL:handle NP Core Server
Address.Slices for extension.extension:geolocation 0..1 (Complex) Geolocation
URL: http://hl7.org/fhir/StructureDefinition/geolocation
Address.use This element is a modifier element. This element is included in summaries. 0..1 code home | work | temp | old | billing - purpose of this address
Binding: AddressUse (required): The use of an address.
Example General: home
Address.text This element is included in summaries. 0..1 string Full formatted address
Example General: 137 Nowhere Street, Erewhon 9132
Example Nepal: Ward 10, Naxal, Kathmandu Metropolitan City, Kathmandu, Bagmati Province, Nepal
Address.line This element is included in summaries. 0..* string Street, house, or landmark details
This repeating element order: The order in which lines should appear in an address label
Example General: 137 Nowhere Street
Example Nepal: Ward 10
Address.city This element is included in summaries. 0..1 string City, town, or equivalent locality name
Example General: Erewhon
Example Nepal: Kathmandu Metropolitan City
Address.district This element is included in summaries. 0..1 string District name
Example General: Madison
Example Nepal: Kathmandu
Address.state This element is included in summaries. 0..1 string State or province name
Example Nepal: Bagmati Province
Address.postalCode This element is included in summaries. 0..1 string Postal code
Example General: 9132
Example Nepal: 44600
Address.country This element is included in summaries. 1..1 string Country code
Binding: Iso3166-1-2 (required)
Example Nepal: NP

doco Documentation for this format
NameNP Core ServerNP Core ConsumerNP Core Creatordoco
Address
Address / Slices for extension
Address / Slices for extension / extension:province
Address / Slices for extension / extension:district
Address / Slices for extension / extension:localLevel

doco Documentation for this format

Terminology Bindings

Path Status Usage ValueSet Version Source
Address.use Base required AddressUse 📍4.0.1 FHIR Std.
Address.country Base required Iso 3166 Part 1: 2 Letter Codes 📦4.0.1 FHIR Std.

Constraints

Id Grade Path(s) Description Expression
ele-1 error **ALL** elements All FHIR elements must have a @value or children hasValue() or (children().count() > id.count())
ext-1 error **ALL** extensions Must have either extensions or value[x], not both extension.exists() != value.exists()
np-addr-1 error Address The province, district, and localLevel extensions are Nepal-specific and SHALL only be present when country is "NP". (extension('http://fhir.digitalhealth.gov.np/core/StructureDefinition/np-core-province').exists() or extension('http://fhir.digitalhealth.gov.np/core/StructureDefinition/np-core-district').exists() or extension('http://fhir.digitalhealth.gov.np/core/StructureDefinition/np-core-local-level').exists()) implies country = 'NP'

This structure is derived from Address

NameFlagsCard.TypeDescription & Constraints    Filter: doco
Address C 0..* Address An address expressed using postal conventions (as opposed to GPS or other location definition formats)
Constraints: np-addr-1
Address.Slices for extension Content/Rules for all slices
Address.Slices for extension.extension:province This element has obligations and must be supported. 0..1 Coding Province (coded, Nepal addresses only)
URL: http://fhir.digitalhealth.gov.np/core/StructureDefinition/np-core-province
Binding: Nepal Province ValueSet (required)
ObligationsActor
SHOULD:able-to-populate NP Core Creator
SHALL:handle NP Core Consumer
SHALL:handle NP Core Server
Address.Slices for extension.extension:district This element has obligations and must be supported. 0..1 Coding District (coded, Nepal addresses only)
URL: http://fhir.digitalhealth.gov.np/core/StructureDefinition/np-core-district
Binding: Nepal District ValueSet (required)
ObligationsActor
SHOULD:able-to-populate NP Core Creator
SHALL:handle NP Core Consumer
SHALL:handle NP Core Server
Address.Slices for extension.extension:localLevel This element has obligations and must be supported. 0..1 Coding Local level (coded, Nepal addresses only)
URL: http://fhir.digitalhealth.gov.np/core/StructureDefinition/np-core-local-level
Binding: Nepal Local Level ValueSet (required)
ObligationsActor
SHOULD:able-to-populate NP Core Creator
SHALL:handle NP Core Consumer
SHALL:handle NP Core Server
Address.Slices for extension.extension:geolocation 0..1 (Complex) Geolocation
URL: http://hl7.org/fhir/StructureDefinition/geolocation
Address.text 0..1 string Full formatted address
Example Nepal: Ward 10, Naxal, Kathmandu Metropolitan City, Kathmandu, Bagmati Province, Nepal
Address.line 0..* string Street, house, or landmark details
Example Nepal: Ward 10
Address.district 0..1 string District name
Example Nepal: Kathmandu
Address.state 0..1 string State or province name
Example Nepal: Bagmati Province
Address.postalCode 0..1 string Postal code
Example Nepal: 44600
Address.country 1..1 string Country code
Binding: Iso3166-1-2 (required)
Example Nepal: NP

doco Documentation for this format
NameNP Core ServerNP Core ConsumerNP Core Creatordoco
Address
Address / Slices for extension
Address / Slices for extension / extension:province
Address / Slices for extension / extension:district
Address / Slices for extension / extension:localLevel

doco Documentation for this format

Terminology Bindings (Differential)

Path Status Usage ValueSet Version Source
Address.country Base required Iso 3166 Part 1: 2 Letter Codes 📦4.0.1 FHIR Std.

Constraints

Id Grade Path(s) Description Expression
np-addr-1 error Address The province, district, and localLevel extensions are Nepal-specific and SHALL only be present when country is "NP". (extension('http://fhir.digitalhealth.gov.np/core/StructureDefinition/np-core-province').exists() or extension('http://fhir.digitalhealth.gov.np/core/StructureDefinition/np-core-district').exists() or extension('http://fhir.digitalhealth.gov.np/core/StructureDefinition/np-core-local-level').exists()) implies country = 'NP'
NameFlagsCard.TypeDescription & Constraints    Filter: doco
Address C 0..* Address An address expressed using postal conventions (as opposed to GPS or other location definition formats)
Constraints: np-addr-1
Address.id 0..1 string Unique id for inter-element referencing
Address.Slices for extension 0..* Extension Additional content defined by implementations
Slice: Unordered, Open by value:url
Address.Slices for extension.extension:province This element has obligations and must be supported. 0..1 Coding Province (coded, Nepal addresses only)
URL: http://fhir.digitalhealth.gov.np/core/StructureDefinition/np-core-province
Binding: Nepal Province ValueSet (required)
ObligationsActor
SHOULD:able-to-populate NP Core Creator
SHALL:handle NP Core Consumer
SHALL:handle NP Core Server
Address.Slices for extension.extension:district This element has obligations and must be supported. 0..1 Coding District (coded, Nepal addresses only)
URL: http://fhir.digitalhealth.gov.np/core/StructureDefinition/np-core-district
Binding: Nepal District ValueSet (required)
ObligationsActor
SHOULD:able-to-populate NP Core Creator
SHALL:handle NP Core Consumer
SHALL:handle NP Core Server
Address.Slices for extension.extension:localLevel This element has obligations and must be supported. 0..1 Coding Local level (coded, Nepal addresses only)
URL: http://fhir.digitalhealth.gov.np/core/StructureDefinition/np-core-local-level
Binding: Nepal Local Level ValueSet (required)
ObligationsActor
SHOULD:able-to-populate NP Core Creator
SHALL:handle NP Core Consumer
SHALL:handle NP Core Server
Address.Slices for extension.extension:geolocation 0..1 (Complex) Geolocation
URL: http://hl7.org/fhir/StructureDefinition/geolocation
Address.use This element is a modifier element. This element is included in summaries. 0..1 code home | work | temp | old | billing - purpose of this address
Binding: AddressUse (required): The use of an address.
Example General: home
Address.type This element is included in summaries. 0..1 code postal | physical | both
Binding: AddressType (required): The type of an address (physical / postal).
Example General: both
Address.text This element is included in summaries. 0..1 string Full formatted address
Example General: 137 Nowhere Street, Erewhon 9132
Example Nepal: Ward 10, Naxal, Kathmandu Metropolitan City, Kathmandu, Bagmati Province, Nepal
Address.line This element is included in summaries. 0..* string Street, house, or landmark details
This repeating element order: The order in which lines should appear in an address label
Example General: 137 Nowhere Street
Example Nepal: Ward 10
Address.city This element is included in summaries. 0..1 string City, town, or equivalent locality name
Example General: Erewhon
Example Nepal: Kathmandu Metropolitan City
Address.district This element is included in summaries. 0..1 string District name
Example General: Madison
Example Nepal: Kathmandu
Address.state This element is included in summaries. 0..1 string State or province name
Example Nepal: Bagmati Province
Address.postalCode This element is included in summaries. 0..1 string Postal code
Example General: 9132
Example Nepal: 44600
Address.country This element is included in summaries. 1..1 string Country code
Binding: Iso3166-1-2 (required)
Example Nepal: NP
Address.period This element is included in summaries. 0..1 Period Time period when address was/is in use
Example General: {"start":"2010-03-23","end":"2010-07-01"}

doco Documentation for this format
NameNP Core ServerNP Core ConsumerNP Core Creatordoco
Address
Address / Slices for extension
Address / Slices for extension / extension:province
Address / Slices for extension / extension:district
Address / Slices for extension / extension:localLevel

doco Documentation for this format

Terminology Bindings

Path Status Usage ValueSet Version Source
Address.use Base required AddressUse 📍4.0.1 FHIR Std.
Address.type Base required AddressType 📍4.0.1 FHIR Std.
Address.country Base required Iso 3166 Part 1: 2 Letter Codes 📦4.0.1 FHIR Std.

Constraints

Id Grade Path(s) Description Expression
ele-1 error **ALL** elements All FHIR elements must have a @value or children hasValue() or (children().count() > id.count())
ext-1 error **ALL** extensions Must have either extensions or value[x], not both extension.exists() != value.exists()
np-addr-1 error Address The province, district, and localLevel extensions are Nepal-specific and SHALL only be present when country is "NP". (extension('http://fhir.digitalhealth.gov.np/core/StructureDefinition/np-core-province').exists() or extension('http://fhir.digitalhealth.gov.np/core/StructureDefinition/np-core-district').exists() or extension('http://fhir.digitalhealth.gov.np/core/StructureDefinition/np-core-local-level').exists()) implies country = 'NP'
NameNP Core ServerNP Core ConsumerNP Core Creatordoco
Address
Address / Slices for extension
Address / Slices for extension / extension:province
Address / Slices for extension / extension:district
Address / Slices for extension / extension:localLevel

doco Documentation for this format

Key Elements View

NameFlagsCard.TypeDescription & Constraints    Filter: doco
Address C 0..* Address An address expressed using postal conventions (as opposed to GPS or other location definition formats)
Constraints: np-addr-1
Address.Slices for extension Content/Rules for all slices
Address.Slices for extension.extension:province This element has obligations and must be supported. 0..1 Coding Province (coded, Nepal addresses only)
URL: http://fhir.digitalhealth.gov.np/core/StructureDefinition/np-core-province
Binding: Nepal Province ValueSet (required)
ObligationsActor
SHOULD:able-to-populate NP Core Creator
SHALL:handle NP Core Consumer
SHALL:handle NP Core Server
Address.Slices for extension.extension:district This element has obligations and must be supported. 0..1 Coding District (coded, Nepal addresses only)
URL: http://fhir.digitalhealth.gov.np/core/StructureDefinition/np-core-district
Binding: Nepal District ValueSet (required)
ObligationsActor
SHOULD:able-to-populate NP Core Creator
SHALL:handle NP Core Consumer
SHALL:handle NP Core Server
Address.Slices for extension.extension:localLevel This element has obligations and must be supported. 0..1 Coding Local level (coded, Nepal addresses only)
URL: http://fhir.digitalhealth.gov.np/core/StructureDefinition/np-core-local-level
Binding: Nepal Local Level ValueSet (required)
ObligationsActor
SHOULD:able-to-populate NP Core Creator
SHALL:handle NP Core Consumer
SHALL:handle NP Core Server
Address.Slices for extension.extension:geolocation 0..1 (Complex) Geolocation
URL: http://hl7.org/fhir/StructureDefinition/geolocation
Address.use This element is a modifier element. This element is included in summaries. 0..1 code home | work | temp | old | billing - purpose of this address
Binding: AddressUse (required): The use of an address.
Example General: home
Address.text This element is included in summaries. 0..1 string Full formatted address
Example General: 137 Nowhere Street, Erewhon 9132
Example Nepal: Ward 10, Naxal, Kathmandu Metropolitan City, Kathmandu, Bagmati Province, Nepal
Address.line This element is included in summaries. 0..* string Street, house, or landmark details
This repeating element order: The order in which lines should appear in an address label
Example General: 137 Nowhere Street
Example Nepal: Ward 10
Address.city This element is included in summaries. 0..1 string City, town, or equivalent locality name
Example General: Erewhon
Example Nepal: Kathmandu Metropolitan City
Address.district This element is included in summaries. 0..1 string District name
Example General: Madison
Example Nepal: Kathmandu
Address.state This element is included in summaries. 0..1 string State or province name
Example Nepal: Bagmati Province
Address.postalCode This element is included in summaries. 0..1 string Postal code
Example General: 9132
Example Nepal: 44600
Address.country This element is included in summaries. 1..1 string Country code
Binding: Iso3166-1-2 (required)
Example Nepal: NP

doco Documentation for this format
NameNP Core ServerNP Core ConsumerNP Core Creatordoco
Address
Address / Slices for extension
Address / Slices for extension / extension:province
Address / Slices for extension / extension:district
Address / Slices for extension / extension:localLevel

doco Documentation for this format

Terminology Bindings

Path Status Usage ValueSet Version Source
Address.use Base required AddressUse 📍4.0.1 FHIR Std.
Address.country Base required Iso 3166 Part 1: 2 Letter Codes 📦4.0.1 FHIR Std.

Constraints

Id Grade Path(s) Description Expression
ele-1 error **ALL** elements All FHIR elements must have a @value or children hasValue() or (children().count() > id.count())
ext-1 error **ALL** extensions Must have either extensions or value[x], not both extension.exists() != value.exists()
np-addr-1 error Address The province, district, and localLevel extensions are Nepal-specific and SHALL only be present when country is "NP". (extension('http://fhir.digitalhealth.gov.np/core/StructureDefinition/np-core-province').exists() or extension('http://fhir.digitalhealth.gov.np/core/StructureDefinition/np-core-district').exists() or extension('http://fhir.digitalhealth.gov.np/core/StructureDefinition/np-core-local-level').exists()) implies country = 'NP'

Differential View

This structure is derived from Address

NameFlagsCard.TypeDescription & Constraints    Filter: doco
Address C 0..* Address An address expressed using postal conventions (as opposed to GPS or other location definition formats)
Constraints: np-addr-1
Address.Slices for extension Content/Rules for all slices
Address.Slices for extension.extension:province This element has obligations and must be supported. 0..1 Coding Province (coded, Nepal addresses only)
URL: http://fhir.digitalhealth.gov.np/core/StructureDefinition/np-core-province
Binding: Nepal Province ValueSet (required)
ObligationsActor
SHOULD:able-to-populate NP Core Creator
SHALL:handle NP Core Consumer
SHALL:handle NP Core Server
Address.Slices for extension.extension:district This element has obligations and must be supported. 0..1 Coding District (coded, Nepal addresses only)
URL: http://fhir.digitalhealth.gov.np/core/StructureDefinition/np-core-district
Binding: Nepal District ValueSet (required)
ObligationsActor
SHOULD:able-to-populate NP Core Creator
SHALL:handle NP Core Consumer
SHALL:handle NP Core Server
Address.Slices for extension.extension:localLevel This element has obligations and must be supported. 0..1 Coding Local level (coded, Nepal addresses only)
URL: http://fhir.digitalhealth.gov.np/core/StructureDefinition/np-core-local-level
Binding: Nepal Local Level ValueSet (required)
ObligationsActor
SHOULD:able-to-populate NP Core Creator
SHALL:handle NP Core Consumer
SHALL:handle NP Core Server
Address.Slices for extension.extension:geolocation 0..1 (Complex) Geolocation
URL: http://hl7.org/fhir/StructureDefinition/geolocation
Address.text 0..1 string Full formatted address
Example Nepal: Ward 10, Naxal, Kathmandu Metropolitan City, Kathmandu, Bagmati Province, Nepal
Address.line 0..* string Street, house, or landmark details
Example Nepal: Ward 10
Address.city 0..1 string City, town, or equivalent locality name
Example Nepal: Kathmandu Metropolitan City
Address.district 0..1 string District name
Example Nepal: Kathmandu
Address.state 0..1 string State or province name
Example Nepal: Bagmati Province
Address.postalCode 0..1 string Postal code
Example Nepal: 44600
Address.country 1..1 string Country code
Binding: Iso3166-1-2 (required)
Example Nepal: NP

doco Documentation for this format
NameNP Core ServerNP Core ConsumerNP Core Creatordoco
Address
Address / Slices for extension
Address / Slices for extension / extension:province
Address / Slices for extension / extension:district
Address / Slices for extension / extension:localLevel

doco Documentation for this format

Terminology Bindings (Differential)

Path Status Usage ValueSet Version Source
Address.country Base required Iso 3166 Part 1: 2 Letter Codes 📦4.0.1 FHIR Std.

Constraints

Id Grade Path(s) Description Expression
np-addr-1 error Address The province, district, and localLevel extensions are Nepal-specific and SHALL only be present when country is "NP". (extension('http://fhir.digitalhealth.gov.np/core/StructureDefinition/np-core-province').exists() or extension('http://fhir.digitalhealth.gov.np/core/StructureDefinition/np-core-district').exists() or extension('http://fhir.digitalhealth.gov.np/core/StructureDefinition/np-core-local-level').exists()) implies country = 'NP'

Snapshot ViewView

NameFlagsCard.TypeDescription & Constraints    Filter: doco
Address C 0..* Address An address expressed using postal conventions (as opposed to GPS or other location definition formats)
Constraints: np-addr-1
Address.id 0..1 string Unique id for inter-element referencing
Address.Slices for extension 0..* Extension Additional content defined by implementations
Slice: Unordered, Open by value:url
Address.Slices for extension.extension:province This element has obligations and must be supported. 0..1 Coding Province (coded, Nepal addresses only)
URL: http://fhir.digitalhealth.gov.np/core/StructureDefinition/np-core-province
Binding: Nepal Province ValueSet (required)
ObligationsActor
SHOULD:able-to-populate NP Core Creator
SHALL:handle NP Core Consumer
SHALL:handle NP Core Server
Address.Slices for extension.extension:district This element has obligations and must be supported. 0..1 Coding District (coded, Nepal addresses only)
URL: http://fhir.digitalhealth.gov.np/core/StructureDefinition/np-core-district
Binding: Nepal District ValueSet (required)
ObligationsActor
SHOULD:able-to-populate NP Core Creator
SHALL:handle NP Core Consumer
SHALL:handle NP Core Server
Address.Slices for extension.extension:localLevel This element has obligations and must be supported. 0..1 Coding Local level (coded, Nepal addresses only)
URL: http://fhir.digitalhealth.gov.np/core/StructureDefinition/np-core-local-level
Binding: Nepal Local Level ValueSet (required)
ObligationsActor
SHOULD:able-to-populate NP Core Creator
SHALL:handle NP Core Consumer
SHALL:handle NP Core Server
Address.Slices for extension.extension:geolocation 0..1 (Complex) Geolocation
URL: http://hl7.org/fhir/StructureDefinition/geolocation
Address.use This element is a modifier element. This element is included in summaries. 0..1 code home | work | temp | old | billing - purpose of this address
Binding: AddressUse (required): The use of an address.
Example General: home
Address.type This element is included in summaries. 0..1 code postal | physical | both
Binding: AddressType (required): The type of an address (physical / postal).
Example General: both
Address.text This element is included in summaries. 0..1 string Full formatted address
Example General: 137 Nowhere Street, Erewhon 9132
Example Nepal: Ward 10, Naxal, Kathmandu Metropolitan City, Kathmandu, Bagmati Province, Nepal
Address.line This element is included in summaries. 0..* string Street, house, or landmark details
This repeating element order: The order in which lines should appear in an address label
Example General: 137 Nowhere Street
Example Nepal: Ward 10
Address.city This element is included in summaries. 0..1 string City, town, or equivalent locality name
Example General: Erewhon
Example Nepal: Kathmandu Metropolitan City
Address.district This element is included in summaries. 0..1 string District name
Example General: Madison
Example Nepal: Kathmandu
Address.state This element is included in summaries. 0..1 string State or province name
Example Nepal: Bagmati Province
Address.postalCode This element is included in summaries. 0..1 string Postal code
Example General: 9132
Example Nepal: 44600
Address.country This element is included in summaries. 1..1 string Country code
Binding: Iso3166-1-2 (required)
Example Nepal: NP
Address.period This element is included in summaries. 0..1 Period Time period when address was/is in use
Example General: {"start":"2010-03-23","end":"2010-07-01"}

doco Documentation for this format
NameNP Core ServerNP Core ConsumerNP Core Creatordoco
Address
Address / Slices for extension
Address / Slices for extension / extension:province
Address / Slices for extension / extension:district
Address / Slices for extension / extension:localLevel

doco Documentation for this format

Terminology Bindings

Path Status Usage ValueSet Version Source
Address.use Base required AddressUse 📍4.0.1 FHIR Std.
Address.type Base required AddressType 📍4.0.1 FHIR Std.
Address.country Base required Iso 3166 Part 1: 2 Letter Codes 📦4.0.1 FHIR Std.

Constraints

Id Grade Path(s) Description Expression
ele-1 error **ALL** elements All FHIR elements must have a @value or children hasValue() or (children().count() > id.count())
ext-1 error **ALL** extensions Must have either extensions or value[x], not both extension.exists() != value.exists()
np-addr-1 error Address The province, district, and localLevel extensions are Nepal-specific and SHALL only be present when country is "NP". (extension('http://fhir.digitalhealth.gov.np/core/StructureDefinition/np-core-province').exists() or extension('http://fhir.digitalhealth.gov.np/core/StructureDefinition/np-core-district').exists() or extension('http://fhir.digitalhealth.gov.np/core/StructureDefinition/np-core-local-level').exists()) implies country = 'NP'
NameNP Core ServerNP Core ConsumerNP Core Creatordoco
Address
Address / Slices for extension
Address / Slices for extension / extension:province
Address / Slices for extension / extension:district
Address / Slices for extension / extension:localLevel

doco Documentation for this format

 

Other representations of profile: CSV, Excel, Schematron