{
  "description": "Indicates whether the relationship always (transitive) or never (antitransitive) propagates such that if the association exists from A to B and from B to C that the relationship can be inferred to exist from A to C",
  "_filename": "StructureDefinition-ext-mif-relationship-transitivity.json",
  "package_name": "hl7.terminology",
  "date": "2025-07-07T07:35:25-06:00",
  "derivation": "constraint",
  "publisher": null,
  "fhirVersion": "5.0.0",
  "name": "SupportedConceptRelationshipTransitivity",
  "mapping": [ {
    "uri": "urn:hl7-org:v3/mif2",
    "name": "HL7 V3 Model Interchange Format 2",
    "identity": "mif"
  }, {
    "uri": "http://hl7.org/v3",
    "name": "RIM Mapping",
    "identity": "rim"
  } ],
  "abstract": false,
  "type": "Extension",
  "experimental": null,
  "resourceType": "StructureDefinition",
  "title": "MIF concept relationship transitivity",
  "package_version": "6.5.0",
  "extension": [ {
    "url": "http://hl7.org/fhir/StructureDefinition/structuredefinition-type-characteristics",
    "valueCode": "can-bind"
  } ],
  "snapshot": {
    "element": [ {
      "constraint": [ {
        "key": "ele-1",
        "human": "All FHIR elements must have a @value or children",
        "source": "http://hl7.org/fhir/StructureDefinition/Element",
        "severity": "error",
        "expression": "hasValue() or (children().count() > id.count())"
      }, {
        "key": "ext-1",
        "human": "Must have either extensions or value[x], not both",
        "source": "http://hl7.org/fhir/StructureDefinition/Extension",
        "severity": "error",
        "expression": "extension.exists() != value.exists()"
      } ],
      "path": "Extension",
      "min": 0,
      "definition": "Indicates whether the relationship always (transitive) or never (antitransitive) propagates such that if the association exists from A to B and from B to C that the relationship can be inferred to exist from A to C",
      "isModifier": false,
      "short": "MIF concept relationship transitivity",
      "max": "1",
      "id": "Extension",
      "base": {
        "max": "*",
        "min": 0,
        "path": "Extension"
      }
    }, {
      "path": "Extension.id",
      "min": 0,
      "definition": "Unique id for the element within a resource (for internal references). This may be any string value that does not contain spaces.",
      "isModifier": false,
      "short": "Unique id for inter-element referencing",
      "mapping": [ {
        "map": "n/a",
        "identity": "rim"
      } ],
      "type": [ {
        "code": "http://hl7.org/fhirpath/System.String",
        "extension": [ {
          "url": "http://hl7.org/fhir/StructureDefinition/structuredefinition-fhir-type",
          "valueUrl": "id"
        } ]
      } ],
      "representation": [ "xmlAttr" ],
      "max": "1",
      "id": "Extension.id",
      "condition": [ "ele-1" ],
      "base": {
        "max": "1",
        "min": 0,
        "path": "Element.id"
      },
      "isSummary": false
    }, {
      "constraint": [ {
        "key": "ele-1",
        "human": "All FHIR elements must have a @value or children",
        "source": "http://hl7.org/fhir/StructureDefinition/Element",
        "severity": "error",
        "expression": "hasValue() or (children().count() > id.count())"
      }, {
        "key": "ext-1",
        "human": "Must have either extensions or value[x], not both",
        "source": "http://hl7.org/fhir/StructureDefinition/Extension",
        "severity": "error",
        "expression": "extension.exists() != value.exists()"
      } ],
      "path": "Extension.extension",
      "min": 0,
      "definition": "An Extension",
      "isModifier": false,
      "short": "Extension",
      "slicing": {
        "rules": "open",
        "description": "Extensions are always sliced by (at least) url",
        "discriminator": [ {
          "path": "url",
          "type": "value"
        } ]
      },
      "type": [ {
        "code": "Extension"
      } ],
      "max": "0",
      "id": "Extension.extension",
      "base": {
        "max": "*",
        "min": 0,
        "path": "Element.extension"
      },
      "isSummary": false
    }, {
      "path": "Extension.url",
      "min": 1,
      "definition": "Source of the definition for the extension code - a logical name or a URL.",
      "isModifier": false,
      "short": "identifies the meaning of the extension",
      "fixedUri": "http://terminology.hl7.org/StructureDefinition/ext-mif-relationship-transitivity",
      "mapping": [ {
        "map": "N/A",
        "identity": "rim"
      } ],
      "type": [ {
        "code": "uri"
      } ],
      "representation": [ "xmlAttr" ],
      "max": "1",
      "id": "Extension.url",
      "comment": "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.",
      "base": {
        "max": "1",
        "min": 1,
        "path": "Extension.url"
      },
      "isSummary": false
    }, {
      "constraint": [ {
        "key": "ele-1",
        "human": "All FHIR elements must have a @value or children",
        "source": "http://hl7.org/fhir/StructureDefinition/Element",
        "severity": "error",
        "expression": "hasValue() or (children().count() > id.count())"
      } ],
      "path": "Extension.value[x]",
      "min": 0,
      "definition": "Value of extension - must be one of a constrained set of the data types (see [Extensibility](http://hl7.org/fhir/R5/extensibility.html) for a list).",
      "isModifier": false,
      "short": "Value of extension",
      "mapping": [ {
        "map": "SupportedConceptRelationship.transitivity",
        "identity": "mif"
      }, {
        "map": "N/A",
        "identity": "rim"
      } ],
      "type": [ {
        "code": "code"
      } ],
      "binding": {
        "strength": "required",
        "valueSet": "http://terminology.hl7.org/ValueSet/mif-conceptRelationshipTransitivity"
      },
      "max": "1",
      "id": "Extension.value[x]",
      "condition": [ "ext-1" ],
      "base": {
        "max": "1",
        "min": 0,
        "path": "Extension.value[x]"
      },
      "isSummary": false
    } ],
    "extension": [ {
      "url": "http://hl7.org/fhir/tools/StructureDefinition/snapshot-base-version",
      "valueString": "5.0.0"
    } ]
  },
  "status": "active",
  "id": "e755cdf7-dfe8-40a8-b353-43b89a01b1b6",
  "kind": "complex-type",
  "url": "http://terminology.hl7.org/StructureDefinition/ext-mif-relationship-transitivity",
  "context": [ {
    "type": "element",
    "expression": "CodeSystem.property"
  } ],
  "version": "0.0.34",
  "differential": {
    "element": [ {
      "id": "Extension",
      "max": "1",
      "path": "Extension",
      "short": "MIF concept relationship transitivity",
      "definition": "Indicates whether the relationship always (transitive) or never (antitransitive) propagates such that if the association exists from A to B and from B to C that the relationship can be inferred to exist from A to C"
    }, {
      "id": "Extension.extension",
      "max": "0",
      "path": "Extension.extension"
    }, {
      "id": "Extension.url",
      "path": "Extension.url",
      "type": [ {
        "code": "uri"
      } ],
      "fixedUri": "http://terminology.hl7.org/StructureDefinition/ext-mif-relationship-transitivity"
    }, {
      "id": "Extension.value[x]",
      "path": "Extension.value[x]",
      "type": [ {
        "code": "code"
      } ],
      "binding": {
        "strength": "required",
        "valueSet": "http://terminology.hl7.org/ValueSet/mif-conceptRelationshipTransitivity"
      },
      "mapping": [ {
        "map": "SupportedConceptRelationship.transitivity",
        "identity": "mif"
      } ]
    } ]
  },
  "baseDefinition": "http://hl7.org/fhir/StructureDefinition/Extension"
}