HL7 Terminology
2.1.0 - Publication

This page is part of the HL7 Terminology (v2.1.0: Release) based on FHIR R4. The current version which supercedes this version is 5.2.0. For a full list of available versions, see the Directory of published versions

Extension: SupportedConceptRelationshipTransitivity - TTL Profile

TTL representation of the ext-mif-relationship-transitivity extension.

Raw ttl | Download


@prefix fhir: <http://hl7.org/fhir/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

# - resource -------------------------------------------------------------------

 a fhir:StructureDefinition;
  fhir:nodeRole fhir:treeRoot;
  fhir:Resource.id [ fhir:value "ext-mif-relationship-transitivity"];
  fhir:DomainResource.text [
     fhir:Narrative.status [ fhir:value "extensions" ];
     fhir:Narrative.div "<div xmlns=\"http://www.w3.org/1999/xhtml\"><table border=\"0\" cellpadding=\"0\" cellspacing=\"0\" style=\"border: 0px #F0F0F0 solid; font-size: 11px; font-family: verdana; vertical-align: top;\"><tr style=\"border: 1px #F0F0F0 solid; font-size: 11px; font-family: verdana; vertical-align: top\"><th style=\"vertical-align: top; text-align : left; background-color: white; border: 0px #F0F0F0 solid; padding:0px 4px 0px 4px\" class=\"hierarchy\"><a href=\"http://hl7.org/fhir/R4/formats.html#table\" title=\"The logical name of the element\">Name</a></th><th style=\"vertical-align: top; text-align : left; background-color: white; border: 0px #F0F0F0 solid; padding:0px 4px 0px 4px\" class=\"hierarchy\"><a href=\"http://hl7.org/fhir/R4/formats.html#table\" title=\"Information about the use of the element\">Flags</a></th><th style=\"vertical-align: top; text-align : left; background-color: white; border: 0px #F0F0F0 solid; padding:0px 4px 0px 4px\" class=\"hierarchy\"><a href=\"http://hl7.org/fhir/R4/formats.html#table\" title=\"Minimum and Maximum # of times the the element can appear in the instance\">Card.</a></th><th style=\"width: 100px\" class=\"hierarchy\"><a href=\"http://hl7.org/fhir/R4/formats.html#table\" title=\"Reference to the type of the element\">Type</a></th><th style=\"vertical-align: top; text-align : left; background-color: white; border: 0px #F0F0F0 solid; padding:0px 4px 0px 4px\" class=\"hierarchy\"><a href=\"http://hl7.org/fhir/R4/formats.html#table\" title=\"Additional information about the element\">Description &amp; Constraints</a><span style=\"float: right\"><a href=\"http://hl7.org/fhir/R4/formats.html#table\" title=\"Legend for this format\"><img src=\"http://hl7.org/fhir/R4/help16.png\" alt=\"doco\" style=\"background-color: inherit\"/></a></span></th></tr><tr style=\"border: 0px #F0F0F0 solid; padding:0px; vertical-align: top; background-color: white\"><td style=\"vertical-align: top; text-align : left; background-color: white; border: 0px #F0F0F0 solid; padding:0px 4px 0px 4px; white-space: nowrap; background-image: url(tbl_bck1.png)\" class=\"hierarchy\"><img src=\"tbl_spacer.png\" alt=\".\" style=\"background-color: inherit\" class=\"hierarchy\"/><img src=\"icon_element.gif\" alt=\".\" style=\"background-color: white; background-color: inherit\" title=\"Element\" class=\"hierarchy\"/> <a href=\"StructureDefinition-ext-mif-relationship-transitivity-definitions.html#Extension\" title=\"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\">Extension</a><a name=\"Extension\"> </a></td><td style=\"vertical-align: top; text-align : left; background-color: white; border: 0px #F0F0F0 solid; padding:0px 4px 0px 4px\" class=\"hierarchy\"/><td style=\"vertical-align: top; text-align : left; background-color: white; border: 0px #F0F0F0 solid; padding:0px 4px 0px 4px\" class=\"hierarchy\"><span style=\"opacity: 0.5\">0</span>..1</td><td style=\"vertical-align: top; text-align : left; background-color: white; border: 0px #F0F0F0 solid; padding:0px 4px 0px 4px\" class=\"hierarchy\"><a href=\"http://hl7.org/fhir/R4/extensibility.html#Extension\">Extension</a></td><td style=\"vertical-align: top; text-align : left; background-color: white; border: 0px #F0F0F0 solid; padding:0px 4px 0px 4px\" class=\"hierarchy\">MIF concept relationship transitivity</td></tr>\r\n<tr style=\"border: 0px #F0F0F0 solid; padding:0px; vertical-align: top; background-color: #F7F7F7\"><td style=\"vertical-align: top; text-align : left; background-color: #F7F7F7; border: 0px #F0F0F0 solid; padding:0px 4px 0px 4px; white-space: nowrap; background-image: url(tbl_bck10.png)\" class=\"hierarchy\"><img src=\"tbl_spacer.png\" alt=\".\" style=\"background-color: inherit\" class=\"hierarchy\"/><img src=\"tbl_vjoin.png\" alt=\".\" style=\"background-color: inherit\" class=\"hierarchy\"/><img src=\"icon_extension_simple.png\" alt=\".\" style=\"background-color: #F7F7F7; background-color: inherit\" title=\"Simple Extension\" class=\"hierarchy\"/> <span style=\"text-decoration:line-through\">extension</span><a name=\"Extension.extension\"> </a></td><td style=\"vertical-align: top; text-align : left; background-color: #F7F7F7; border: 0px #F0F0F0 solid; padding:0px 4px 0px 4px\" class=\"hierarchy\"/><td style=\"vertical-align: top; text-align : left; background-color: #F7F7F7; border: 0px #F0F0F0 solid; padding:0px 4px 0px 4px\" class=\"hierarchy\"><span style=\"text-decoration:line-through\"/><span style=\"text-decoration:line-through\">0</span><span style=\"text-decoration:line-through\">..</span><span style=\"text-decoration:line-through\">0</span></td><td style=\"vertical-align: top; text-align : left; background-color: #F7F7F7; border: 0px #F0F0F0 solid; padding:0px 4px 0px 4px\" class=\"hierarchy\"/><td style=\"vertical-align: top; text-align : left; background-color: #F7F7F7; border: 0px #F0F0F0 solid; padding:0px 4px 0px 4px\" class=\"hierarchy\"/></tr>\r\n<tr style=\"border: 0px #F0F0F0 solid; padding:0px; vertical-align: top; background-color: white\"><td style=\"vertical-align: top; text-align : left; background-color: white; border: 0px #F0F0F0 solid; padding:0px 4px 0px 4px; white-space: nowrap; background-image: url(tbl_bck10.png)\" class=\"hierarchy\"><img src=\"tbl_spacer.png\" alt=\".\" style=\"background-color: inherit\" class=\"hierarchy\"/><img src=\"tbl_vjoin.png\" alt=\".\" style=\"background-color: inherit\" class=\"hierarchy\"/><img src=\"icon_primitive.png\" alt=\".\" style=\"background-color: white; background-color: inherit\" title=\"Primitive Data Type\" class=\"hierarchy\"/> <a href=\"StructureDefinition-ext-mif-relationship-transitivity-definitions.html#Extension.url\">url</a><a name=\"Extension.url\"> </a></td><td style=\"vertical-align: top; text-align : left; background-color: white; border: 0px #F0F0F0 solid; padding:0px 4px 0px 4px\" class=\"hierarchy\"/><td style=\"vertical-align: top; text-align : left; background-color: white; border: 0px #F0F0F0 solid; padding:0px 4px 0px 4px\" class=\"hierarchy\"><span style=\"opacity: 0.5\">1</span><span style=\"opacity: 0.5\">..</span><span style=\"opacity: 0.5\">1</span></td><td style=\"vertical-align: top; text-align : left; background-color: white; border: 0px #F0F0F0 solid; padding:0px 4px 0px 4px\" class=\"hierarchy\"><a href=\"http://hl7.org/fhir/R4/datatypes.html#uri\">uri</a></td><td style=\"vertical-align: top; text-align : left; background-color: white; border: 0px #F0F0F0 solid; padding:0px 4px 0px 4px\" class=\"hierarchy\"><span style=\"color: darkgreen\">&quot;http://terminology.hl7.org/StructureDefinition/ext-mif-relationship-transitivity&quot;</span></td></tr>\r\n<tr style=\"border: 0px #F0F0F0 solid; padding:0px; vertical-align: top; background-color: #F7F7F7\"><td style=\"vertical-align: top; text-align : left; background-color: #F7F7F7; border: 0px #F0F0F0 solid; padding:0px 4px 0px 4px; white-space: nowrap; background-image: url(tbl_bck00.png)\" class=\"hierarchy\"><img src=\"tbl_spacer.png\" alt=\".\" style=\"background-color: inherit\" class=\"hierarchy\"/><img src=\"tbl_vjoin_end.png\" alt=\".\" style=\"background-color: inherit\" class=\"hierarchy\"/><img src=\"icon_primitive.png\" alt=\".\" style=\"background-color: #F7F7F7; background-color: inherit\" title=\"Primitive Data Type\" class=\"hierarchy\"/> <a href=\"StructureDefinition-ext-mif-relationship-transitivity-definitions.html#Extension.value[x]\">value[x]</a><a name=\"Extension.value_x_\"> </a></td><td style=\"vertical-align: top; text-align : left; background-color: #F7F7F7; border: 0px #F0F0F0 solid; padding:0px 4px 0px 4px\" class=\"hierarchy\"/><td style=\"vertical-align: top; text-align : left; background-color: #F7F7F7; border: 0px #F0F0F0 solid; padding:0px 4px 0px 4px\" class=\"hierarchy\"><span style=\"opacity: 0.5\">0</span><span style=\"opacity: 0.5\">..</span><span style=\"opacity: 0.5\">1</span></td><td style=\"vertical-align: top; text-align : left; background-color: #F7F7F7; border: 0px #F0F0F0 solid; padding:0px 4px 0px 4px\" class=\"hierarchy\"><a href=\"http://hl7.org/fhir/R4/datatypes.html#code\">code</a></td><td style=\"vertical-align: top; text-align : left; background-color: #F7F7F7; border: 0px #F0F0F0 solid; padding:0px 4px 0px 4px\" class=\"hierarchy\"><span style=\"opacity: 0.5\">Value of extension</span><br/><span style=\"font-weight:bold\">Binding: </span><a href=\"ValueSet-mif-conceptRelationshipTransitivity.html\">MIF Concept Relationship Transitivity</a> (<a href=\"http://hl7.org/fhir/R4/terminologies.html#required\" title=\"To be conformant, the concept in this element SHALL be from the specified value set.\">required</a>)</td></tr>\r\n<tr><td colspan=\"5\" class=\"hierarchy\"><br/><a href=\"http://hl7.org/fhir/R4/formats.html#table\" title=\"Legend for this format\"><img src=\"http://hl7.org/fhir/R4/help16.png\" alt=\"doco\" style=\"background-color: inherit\"/> Documentation for this format</a></td></tr></table></div>"
  ];
  fhir:StructureDefinition.url [ fhir:value "http://terminology.hl7.org/StructureDefinition/ext-mif-relationship-transitivity"];
  fhir:StructureDefinition.version [ fhir:value "0.0.34"];
  fhir:StructureDefinition.name [ fhir:value "SupportedConceptRelationshipTransitivity"];
  fhir:StructureDefinition.title [ fhir:value "MIF concept relationship transitivity"];
  fhir:StructureDefinition.status [ fhir:value "active"];
  fhir:StructureDefinition.date [ fhir:value "2021-03-06T13:53:33-07:00"^^xsd:dateTime];
  fhir:StructureDefinition.description [ fhir:value "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"];
  fhir:StructureDefinition.fhirVersion [ fhir:value "4.0.1"];
  fhir:StructureDefinition.mapping [
     fhir:index 0;
     fhir:StructureDefinition.mapping.identity [ fhir:value "mif" ];
     fhir:StructureDefinition.mapping.uri [ fhir:value "urn:hl7-org:v3/mif2" ];
     fhir:StructureDefinition.mapping.name [ fhir:value "HL7 V3 Model Interchange Format 2" ]
  ], [
     fhir:index 1;
     fhir:StructureDefinition.mapping.identity [ fhir:value "rim" ];
     fhir:StructureDefinition.mapping.uri [ fhir:value "http://hl7.org/v3" ];
     fhir:StructureDefinition.mapping.name [ fhir:value "RIM Mapping" ]
  ];
  fhir:StructureDefinition.kind [ fhir:value "complex-type"];
  fhir:StructureDefinition.abstract [ fhir:value "false"^^xsd:boolean];
  fhir:StructureDefinition.context [
     fhir:index 0;
     fhir:StructureDefinition.context.type [ fhir:value "element" ];
     fhir:StructureDefinition.context.expression [ fhir:value "CodeSystem.property" ]
  ];
  fhir:StructureDefinition.type [ fhir:value "Extension"];
  fhir:StructureDefinition.baseDefinition [
     fhir:value "http://hl7.org/fhir/StructureDefinition/Extension";
     fhir:link <http://hl7.org/fhir/StructureDefinition/Extension>
  ];
  fhir:StructureDefinition.derivation [ fhir:value "constraint"];
  fhir:StructureDefinition.snapshot [
     fhir:StructureDefinition.snapshot.element [
       fhir:index 0;
       fhir:Element.id [ fhir:value "Extension" ];
       fhir:ElementDefinition.path [ fhir:value "Extension" ];
       fhir:ElementDefinition.short [ fhir:value "MIF concept relationship transitivity" ];
       fhir:ElementDefinition.definition [ fhir:value "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" ];
       fhir:ElementDefinition.min [ fhir:value "0"^^xsd:nonNegativeInteger ];
       fhir:ElementDefinition.max [ fhir:value "1" ];
       fhir:ElementDefinition.base [
         fhir:ElementDefinition.base.path [ fhir:value "Extension" ];
         fhir:ElementDefinition.base.min [ fhir:value "0"^^xsd:nonNegativeInteger ];
         fhir:ElementDefinition.base.max [ fhir:value "*" ]       ];
       fhir:ElementDefinition.condition [
         fhir:value "ele-1";
         fhir:index 0       ];
       fhir:ElementDefinition.constraint [
         fhir:index 0;
         fhir:ElementDefinition.constraint.key [ fhir:value "ele-1" ];
         fhir:ElementDefinition.constraint.severity [ fhir:value "error" ];
         fhir:ElementDefinition.constraint.human [ fhir:value "All FHIR elements must have a @value or children" ];
         fhir:ElementDefinition.constraint.expression [ fhir:value "hasValue() or (children().count() > id.count())" ];
         fhir:ElementDefinition.constraint.xpath [ fhir:value "@value|f:*|h:div" ];
         fhir:ElementDefinition.constraint.source [
           fhir:value "http://hl7.org/fhir/StructureDefinition/Element";
           fhir:link <http://hl7.org/fhir/StructureDefinition/Element>         ]       ], [
         fhir:index 1;
         fhir:ElementDefinition.constraint.key [ fhir:value "ext-1" ];
         fhir:ElementDefinition.constraint.severity [ fhir:value "error" ];
         fhir:ElementDefinition.constraint.human [ fhir:value "Must have either extensions or value[x], not both" ];
         fhir:ElementDefinition.constraint.expression [ fhir:value "extension.exists() != value.exists()" ];
         fhir:ElementDefinition.constraint.xpath [ fhir:value "exists(f:extension)!=exists(f:*[starts-with(local-name(.), 'value')])" ];
         fhir:ElementDefinition.constraint.source [
           fhir:value "http://hl7.org/fhir/StructureDefinition/Extension";
           fhir:link <http://hl7.org/fhir/StructureDefinition/Extension>         ]       ];
       fhir:ElementDefinition.isModifier [ fhir:value "false"^^xsd:boolean ]     ], [
       fhir:index 1;
       fhir:Element.id [ fhir:value "Extension.id" ];
       fhir:ElementDefinition.path [ fhir:value "Extension.id" ];
       fhir:ElementDefinition.representation [
         fhir:value "xmlAttr";
         fhir:index 0       ];
       fhir:ElementDefinition.short [ fhir:value "Unique id for inter-element referencing" ];
       fhir:ElementDefinition.definition [ fhir:value "Unique id for the element within a resource (for internal references). This may be any string value that does not contain spaces." ];
       fhir:ElementDefinition.min [ fhir:value "0"^^xsd:nonNegativeInteger ];
       fhir:ElementDefinition.max [ fhir:value "1" ];
       fhir:ElementDefinition.base [
         fhir:ElementDefinition.base.path [ fhir:value "Element.id" ];
         fhir:ElementDefinition.base.min [ fhir:value "0"^^xsd:nonNegativeInteger ];
         fhir:ElementDefinition.base.max [ fhir:value "1" ]       ];
       fhir:ElementDefinition.type [
         fhir:index 0;
         fhir:Element.extension [
           fhir:index 0;
           fhir:Extension.url [ fhir:value "http://hl7.org/fhir/StructureDefinition/structuredefinition-fhir-type" ];
           fhir:Extension.valueUrl [ fhir:value "string" ]         ];
         fhir:ElementDefinition.type.code [ fhir:value "http://hl7.org/fhirpath/System.String" ]       ];
       fhir:ElementDefinition.isModifier [ fhir:value "false"^^xsd:boolean ];
       fhir:ElementDefinition.isSummary [ fhir:value "false"^^xsd:boolean ];
       fhir:ElementDefinition.mapping [
         fhir:index 0;
         fhir:ElementDefinition.mapping.identity [ fhir:value "rim" ];
         fhir:ElementDefinition.mapping.map [ fhir:value "n/a" ]       ]     ], [
       fhir:index 2;
       fhir:Element.id [ fhir:value "Extension.extension" ];
       fhir:ElementDefinition.path [ fhir:value "Extension.extension" ];
       fhir:ElementDefinition.slicing [
         fhir:ElementDefinition.slicing.discriminator [
           fhir:index 0;
           fhir:ElementDefinition.slicing.discriminator.type [ fhir:value "value" ];
           fhir:ElementDefinition.slicing.discriminator.path [ fhir:value "url" ]         ];
         fhir:ElementDefinition.slicing.description [ fhir:value "Extensions are always sliced by (at least) url" ];
         fhir:ElementDefinition.slicing.rules [ fhir:value "open" ]       ];
       fhir:ElementDefinition.short [ fhir:value "Extension" ];
       fhir:ElementDefinition.definition [ fhir:value "An Extension" ];
       fhir:ElementDefinition.min [ fhir:value "0"^^xsd:nonNegativeInteger ];
       fhir:ElementDefinition.max [ fhir:value "0" ];
       fhir:ElementDefinition.base [
         fhir:ElementDefinition.base.path [ fhir:value "Element.extension" ];
         fhir:ElementDefinition.base.min [ fhir:value "0"^^xsd:nonNegativeInteger ];
         fhir:ElementDefinition.base.max [ fhir:value "*" ]       ];
       fhir:ElementDefinition.type [
         fhir:index 0;
         fhir:ElementDefinition.type.code [ fhir:value "Extension" ]       ];
       fhir:ElementDefinition.constraint [
         fhir:index 0;
         fhir:ElementDefinition.constraint.key [ fhir:value "ele-1" ];
         fhir:ElementDefinition.constraint.severity [ fhir:value "error" ];
         fhir:ElementDefinition.constraint.human [ fhir:value "All FHIR elements must have a @value or children" ];
         fhir:ElementDefinition.constraint.expression [ fhir:value "hasValue() or (children().count() > id.count())" ];
         fhir:ElementDefinition.constraint.xpath [ fhir:value "@value|f:*|h:div" ];
         fhir:ElementDefinition.constraint.source [
           fhir:value "http://hl7.org/fhir/StructureDefinition/Element";
           fhir:link <http://hl7.org/fhir/StructureDefinition/Element>         ]       ], [
         fhir:index 1;
         fhir:ElementDefinition.constraint.key [ fhir:value "ext-1" ];
         fhir:ElementDefinition.constraint.severity [ fhir:value "error" ];
         fhir:ElementDefinition.constraint.human [ fhir:value "Must have either extensions or value[x], not both" ];
         fhir:ElementDefinition.constraint.expression [ fhir:value "extension.exists() != value.exists()" ];
         fhir:ElementDefinition.constraint.xpath [ fhir:value "exists(f:extension)!=exists(f:*[starts-with(local-name(.), \"value\")])" ];
         fhir:ElementDefinition.constraint.source [
           fhir:value "http://hl7.org/fhir/StructureDefinition/Extension";
           fhir:link <http://hl7.org/fhir/StructureDefinition/Extension>         ]       ];
       fhir:ElementDefinition.isModifier [ fhir:value "false"^^xsd:boolean ];
       fhir:ElementDefinition.isSummary [ fhir:value "false"^^xsd:boolean ]     ], [
       fhir:index 3;
       fhir:Element.id [ fhir:value "Extension.url" ];
       fhir:ElementDefinition.path [ fhir:value "Extension.url" ];
       fhir:ElementDefinition.representation [
         fhir:value "xmlAttr";
         fhir:index 0       ];
       fhir:ElementDefinition.short [ fhir:value "identifies the meaning of the extension" ];
       fhir:ElementDefinition.definition [ fhir:value "Source of the definition for the extension code - a logical name or a URL." ];
       fhir:ElementDefinition.comment [ fhir:value "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." ];
       fhir:ElementDefinition.min [ fhir:value "1"^^xsd:nonNegativeInteger ];
       fhir:ElementDefinition.max [ fhir:value "1" ];
       fhir:ElementDefinition.base [
         fhir:ElementDefinition.base.path [ fhir:value "Extension.url" ];
         fhir:ElementDefinition.base.min [ fhir:value "1"^^xsd:nonNegativeInteger ];
         fhir:ElementDefinition.base.max [ fhir:value "1" ]       ];
       fhir:ElementDefinition.type [
         fhir:index 0;
         fhir:ElementDefinition.type.code [ fhir:value "uri" ]       ];
       fhir:ElementDefinition.fixedUri [ fhir:value "http://terminology.hl7.org/StructureDefinition/ext-mif-relationship-transitivity" ];
       fhir:ElementDefinition.isModifier [ fhir:value "false"^^xsd:boolean ];
       fhir:ElementDefinition.isSummary [ fhir:value "false"^^xsd:boolean ];
       fhir:ElementDefinition.mapping [
         fhir:index 0;
         fhir:ElementDefinition.mapping.identity [ fhir:value "rim" ];
         fhir:ElementDefinition.mapping.map [ fhir:value "N/A" ]       ]     ], [
       fhir:index 4;
       fhir:Element.id [ fhir:value "Extension.value[x]" ];
       fhir:ElementDefinition.path [ fhir:value "Extension.value[x]" ];
       fhir:ElementDefinition.short [ fhir:value "Value of extension" ];
       fhir:ElementDefinition.definition [ fhir:value "Value of extension - must be one of a constrained set of the data types (see [Extensibility](http://hl7.org/fhir/R4/extensibility.html) for a list)." ];
       fhir:ElementDefinition.min [ fhir:value "0"^^xsd:nonNegativeInteger ];
       fhir:ElementDefinition.max [ fhir:value "1" ];
       fhir:ElementDefinition.base [
         fhir:ElementDefinition.base.path [ fhir:value "Extension.value[x]" ];
         fhir:ElementDefinition.base.min [ fhir:value "0"^^xsd:nonNegativeInteger ];
         fhir:ElementDefinition.base.max [ fhir:value "1" ]       ];
       fhir:ElementDefinition.type [
         fhir:index 0;
         fhir:ElementDefinition.type.code [ fhir:value "code" ]       ];
       fhir:ElementDefinition.constraint [
         fhir:index 0;
         fhir:ElementDefinition.constraint.key [ fhir:value "ele-1" ];
         fhir:ElementDefinition.constraint.severity [ fhir:value "error" ];
         fhir:ElementDefinition.constraint.human [ fhir:value "All FHIR elements must have a @value or children" ];
         fhir:ElementDefinition.constraint.expression [ fhir:value "hasValue() or (children().count() > id.count())" ];
         fhir:ElementDefinition.constraint.xpath [ fhir:value "@value|f:*|h:div" ];
         fhir:ElementDefinition.constraint.source [
           fhir:value "http://hl7.org/fhir/StructureDefinition/Element";
           fhir:link <http://hl7.org/fhir/StructureDefinition/Element>         ]       ];
       fhir:ElementDefinition.isModifier [ fhir:value "false"^^xsd:boolean ];
       fhir:ElementDefinition.isSummary [ fhir:value "false"^^xsd:boolean ];
       fhir:ElementDefinition.binding [
         fhir:ElementDefinition.binding.strength [ fhir:value "required" ];
         fhir:ElementDefinition.binding.valueSet [
           fhir:value "http://terminology.hl7.org/ValueSet/mif-conceptRelationshipTransitivity";
           fhir:link <http://terminology.hl7.org/ValueSet/mif-conceptRelationshipTransitivity>         ]       ];
       fhir:ElementDefinition.mapping [
         fhir:index 0;
         fhir:ElementDefinition.mapping.identity [ fhir:value "rim" ];
         fhir:ElementDefinition.mapping.map [ fhir:value "N/A" ]       ], [
         fhir:index 1;
         fhir:ElementDefinition.mapping.identity [ fhir:value "mif" ];
         fhir:ElementDefinition.mapping.map [ fhir:value "SupportedConceptRelationship.transitivity" ]       ]     ]
  ];
  fhir:StructureDefinition.differential [
     fhir:StructureDefinition.differential.element [
       fhir:index 0;
       fhir:Element.id [ fhir:value "Extension" ];
       fhir:ElementDefinition.path [ fhir:value "Extension" ];
       fhir:ElementDefinition.short [ fhir:value "MIF concept relationship transitivity" ];
       fhir:ElementDefinition.definition [ fhir:value "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" ];
       fhir:ElementDefinition.max [ fhir:value "1" ]     ], [
       fhir:index 1;
       fhir:Element.id [ fhir:value "Extension.extension" ];
       fhir:ElementDefinition.path [ fhir:value "Extension.extension" ];
       fhir:ElementDefinition.max [ fhir:value "0" ]     ], [
       fhir:index 2;
       fhir:Element.id [ fhir:value "Extension.url" ];
       fhir:ElementDefinition.path [ fhir:value "Extension.url" ];
       fhir:ElementDefinition.type [
         fhir:index 0;
         fhir:ElementDefinition.type.code [ fhir:value "uri" ]       ];
       fhir:ElementDefinition.fixedUri [ fhir:value "http://terminology.hl7.org/StructureDefinition/ext-mif-relationship-transitivity" ]     ], [
       fhir:index 3;
       fhir:Element.id [ fhir:value "Extension.value[x]" ];
       fhir:ElementDefinition.path [ fhir:value "Extension.value[x]" ];
       fhir:ElementDefinition.type [
         fhir:index 0;
         fhir:ElementDefinition.type.code [ fhir:value "code" ]       ];
       fhir:ElementDefinition.binding [
         fhir:ElementDefinition.binding.strength [ fhir:value "required" ];
         fhir:ElementDefinition.binding.valueSet [
           fhir:value "http://terminology.hl7.org/ValueSet/mif-conceptRelationshipTransitivity";
           fhir:link <http://terminology.hl7.org/ValueSet/mif-conceptRelationshipTransitivity>         ]       ];
       fhir:ElementDefinition.mapping [
         fhir:index 0;
         fhir:ElementDefinition.mapping.identity [ fhir:value "mif" ];
         fhir:ElementDefinition.mapping.map [ fhir:value "SupportedConceptRelationship.transitivity" ]       ]     ]
  ].

# - ontology header ------------------------------------------------------------

 a owl:Ontology;
  owl:imports fhir:fhir.ttl.