{
  "resourceType": "StructureDefinition",
  "language": "pt-BR",
  "url": "http://rnds.saude.gov.br/fhir/r4/StructureDefinition/rnds-city-1.0",
  "version": "1.0",
  "name": "RNDSCity",
  "title": "RNDS City",
  "status": "draft",
  "publisher": "Datasus",
  "description": "Dados que identificam um município.",
  "fhirVersion": "4.0.0",
  "kind": "complex-type",
  "abstract": false,
  "context": [
    {
      "type": "element",
      "expression": "Address.city"
    }
  ],
  "type": "Extension",
  "baseDefinition": "http://hl7.org/fhir/StructureDefinition/Extension",
  "derivation": "constraint",
  "differential": {
    "element": [
      {
        "id": "Extension",
        "path": "Extension",
        "short": "Dados da cidade do endereço",
        "definition": "Dados da cidade do endereço",
        "alias": [
          "cidade"
        ]
      },
      {
        "id": "Extension.value[x]",
        "path": "Extension.value[x]",
        "short": "Código identificador da cidade, caso conhecido",
        "definition": "Código identificador da cidade, caso conhecido. No Brasil, deve utilizar o código conforme estipulado pelo Instituto Brasileiro de Geografia e Estatística (IBGE). Este é composto de 7 dígitos (999999), sendo que o último é resultado de cálculo utilizando os demais, com o propósito de verificação da validade do número identificador completo.",
        "min": 1,
        "type": [
          {
            "code": "string"
          }
        ],
        "patternString": "[0-9]+",
        "example": [
          {
            "label": "Código IBGE da cidade de Brasília",
            "valueString": "5300108"
          }
        ]
      }
    ]
  }
}