@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 -------------------------------------------------------------------

<http://terminology.hl7.org/StructureDefinition/ext-mif-relationship-transitivity> a fhir:StructureDefinition ;
  fhir:nodeRole fhir:treeRoot ;
  fhir:id [ fhir:v "ext-mif-relationship-transitivity"] ; # 
  fhir:text [
     fhir:status [ fhir:v "extensions" ] ;
     fhir:div "<div xmlns=\"http://www.w3.org/1999/xhtml\">Placeholder</div>"
  ] ; # 
  fhir:url [ fhir:v "http://terminology.hl7.org/StructureDefinition/ext-mif-relationship-transitivity"^^xsd:anyURI] ; # 
  fhir:version [ fhir:v "0.0.34"] ; # 
  fhir:name [ fhir:v "SupportedConceptRelationshipTransitivity"] ; # 
  fhir:title [ fhir:v "MIF concept relationship transitivity"] ; # 
  fhir:status [ fhir:v "active"] ; # 
  fhir:date [ fhir:v "2023-09-08T17:52:31-06:00"^^xsd:dateTime] ; # 
  fhir:description [ fhir:v "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:fhirVersion [ fhir:v "4.0.1"] ; # 
  fhir:mapping ( [
     fhir:identity [ fhir:v "mif" ] ;
     fhir:uri [ fhir:v "urn:hl7-org:v3/mif2"^^xsd:anyURI ] ;
     fhir:name [ fhir:v "HL7 V3 Model Interchange Format 2" ]
  ] [
     fhir:identity [ fhir:v "rim" ] ;
     fhir:uri [ fhir:v "http://hl7.org/v3"^^xsd:anyURI ] ;
     fhir:name [ fhir:v "RIM Mapping" ]
  ] ) ; # 
  fhir:kind [ fhir:v "complex-type"] ; # 
  fhir:abstract [ fhir:v "false"^^xsd:boolean] ; # 
  fhir:context ( [
     fhir:type [ fhir:v "element" ] ;
     fhir:expression [ fhir:v "CodeSystem.property" ]
  ] ) ; # 
  fhir:type [ fhir:v "Extension"^^xsd:anyURI] ; # 
  fhir:baseDefinition [
     fhir:v "http://hl7.org/fhir/StructureDefinition/Extension"^^xsd:anyURI ;
     fhir:link <http://hl7.org/fhir/StructureDefinition/Extension>
  ] ; # 
  fhir:derivation [ fhir:v "constraint"] ; # 
  fhir:snapshot [
     fhir:element ( [
       fhir:id [ fhir:v "Extension" ] ;
       fhir:path [ fhir:v "Extension" ] ;
       fhir:short [ fhir:v "MIF concept relationship transitivity" ] ;
       fhir:definition [ fhir:v "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:min [ fhir:v "0"^^xsd:nonNegativeInteger ] ;
       fhir:max [ fhir:v "1" ] ;
       fhir:base [
         fhir:path [ fhir:v "Extension" ] ;
         fhir:min [ fhir:v "0"^^xsd:nonNegativeInteger ] ;
         fhir:max [ fhir:v "*" ]
       ] ;
       fhir:condition ( [ fhir:v "ele-1" ] ) ;
       fhir:constraint ( [
         fhir:key [ fhir:v "ele-1" ] ;
         fhir:severity [ fhir:v "error" ] ;
         fhir:human [ fhir:v "All FHIR elements must have a @value or children" ] ;
         fhir:expression [ fhir:v "hasValue() or (children().count() > id.count())" ] ;
         fhir:xpath [ fhir:v "@value|f:*|h:div" ] ;
         fhir:source [
           fhir:v "http://hl7.org/fhir/StructureDefinition/Element"^^xsd:anyURI ;
           fhir:link <http://hl7.org/fhir/StructureDefinition/Element>
         ]
       ] [
         fhir:key [ fhir:v "ext-1" ] ;
         fhir:severity [ fhir:v "error" ] ;
         fhir:human [ fhir:v "Must have either extensions or value[x], not both" ] ;
         fhir:expression [ fhir:v "extension.exists() != value.exists()" ] ;
         fhir:xpath [ fhir:v "exists(f:extension)!=exists(f:*[starts-with(local-name(.), 'value')])" ] ;
         fhir:source [
           fhir:v "http://hl7.org/fhir/StructureDefinition/Extension"^^xsd:anyURI ;
           fhir:link <http://hl7.org/fhir/StructureDefinition/Extension>
         ]
       ] ) ;
       fhir:isModifier [ fhir:v "false"^^xsd:boolean ]
     ] [
       fhir:id [ fhir:v "Extension.id" ] ;
       fhir:path [ fhir:v "Extension.id" ] ;
       fhir:representation ( [ fhir:v "xmlAttr" ] ) ;
       fhir:short [ fhir:v "Unique id for inter-element referencing" ] ;
       fhir:definition [ fhir:v "Unique id for the element within a resource (for internal references). This may be any string value that does not contain spaces." ] ;
       fhir:min [ fhir:v "0"^^xsd:nonNegativeInteger ] ;
       fhir:max [ fhir:v "1" ] ;
       fhir:base [
         fhir:path [ fhir:v "Element.id" ] ;
         fhir:min [ fhir:v "0"^^xsd:nonNegativeInteger ] ;
         fhir:max [ fhir:v "1" ]
       ] ;
       fhir:type ( [
         fhir:extension ( [
           fhir:url [ fhir:v "http://hl7.org/fhir/StructureDefinition/structuredefinition-fhir-type"^^xsd:anyURI ] ;
           fhir:value [ fhir:v "string"^^xsd:anyURI ]
         ] ) ;
         fhir:code [ fhir:v "http://hl7.org/fhirpath/System.String"^^xsd:anyURI ]
       ] ) ;
       fhir:isModifier [ fhir:v "false"^^xsd:boolean ] ;
       fhir:isSummary [ fhir:v "false"^^xsd:boolean ] ;
       fhir:mapping ( [
         fhir:identity [ fhir:v "rim" ] ;
         fhir:map [ fhir:v "n/a" ]
       ] )
     ] [
       fhir:id [ fhir:v "Extension.extension" ] ;
       fhir:path [ fhir:v "Extension.extension" ] ;
       fhir:slicing [
         fhir:discriminator ( [
           fhir:type [ fhir:v "value" ] ;
           fhir:path [ fhir:v "url" ]
         ] ) ;
         fhir:description [ fhir:v "Extensions are always sliced by (at least) url" ] ;
         fhir:rules [ fhir:v "open" ]
       ] ;
       fhir:short [ fhir:v "Extension" ] ;
       fhir:definition [ fhir:v "An Extension" ] ;
       fhir:min [ fhir:v "0"^^xsd:nonNegativeInteger ] ;
       fhir:max [ fhir:v "0" ] ;
       fhir:base [
         fhir:path [ fhir:v "Element.extension" ] ;
         fhir:min [ fhir:v "0"^^xsd:nonNegativeInteger ] ;
         fhir:max [ fhir:v "*" ]
       ] ;
       fhir:type ( [
         fhir:code [ fhir:v "Extension"^^xsd:anyURI ]
       ] ) ;
       fhir:constraint ( [
         fhir:key [ fhir:v "ele-1" ] ;
         fhir:severity [ fhir:v "error" ] ;
         fhir:human [ fhir:v "All FHIR elements must have a @value or children" ] ;
         fhir:expression [ fhir:v "hasValue() or (children().count() > id.count())" ] ;
         fhir:xpath [ fhir:v "@value|f:*|h:div" ] ;
         fhir:source [
           fhir:v "http://hl7.org/fhir/StructureDefinition/Element"^^xsd:anyURI ;
           fhir:link <http://hl7.org/fhir/StructureDefinition/Element>
         ]
       ] [
         fhir:key [ fhir:v "ext-1" ] ;
         fhir:severity [ fhir:v "error" ] ;
         fhir:human [ fhir:v "Must have either extensions or value[x], not both" ] ;
         fhir:expression [ fhir:v "extension.exists() != value.exists()" ] ;
         fhir:xpath [ fhir:v "exists(f:extension)!=exists(f:*[starts-with(local-name(.), \"value\")])" ] ;
         fhir:source [
           fhir:v "http://hl7.org/fhir/StructureDefinition/Extension"^^xsd:anyURI ;
           fhir:link <http://hl7.org/fhir/StructureDefinition/Extension>
         ]
       ] ) ;
       fhir:isModifier [ fhir:v "false"^^xsd:boolean ] ;
       fhir:isSummary [ fhir:v "false"^^xsd:boolean ]
     ] [
       fhir:id [ fhir:v "Extension.url" ] ;
       fhir:path [ fhir:v "Extension.url" ] ;
       fhir:representation ( [ fhir:v "xmlAttr" ] ) ;
       fhir:short [ fhir:v "identifies the meaning of the extension" ] ;
       fhir:definition [ fhir:v "Source of the definition for the extension code - a logical name or a URL." ] ;
       fhir:comment [ fhir:v "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:min [ fhir:v "1"^^xsd:nonNegativeInteger ] ;
       fhir:max [ fhir:v "1" ] ;
       fhir:base [
         fhir:path [ fhir:v "Extension.url" ] ;
         fhir:min [ fhir:v "1"^^xsd:nonNegativeInteger ] ;
         fhir:max [ fhir:v "1" ]
       ] ;
       fhir:type ( [
         fhir:code [ fhir:v "uri"^^xsd:anyURI ]
       ] ) ;
       fhir:fixed [ fhir:v "http://terminology.hl7.org/StructureDefinition/ext-mif-relationship-transitivity"^^xsd:anyURI ] ;
       fhir:isModifier [ fhir:v "false"^^xsd:boolean ] ;
       fhir:isSummary [ fhir:v "false"^^xsd:boolean ] ;
       fhir:mapping ( [
         fhir:identity [ fhir:v "rim" ] ;
         fhir:map [ fhir:v "N/A" ]
       ] )
     ] [
       fhir:id [ fhir:v "Extension.value[x]" ] ;
       fhir:path [ fhir:v "Extension.value[x]" ] ;
       fhir:short [ fhir:v "Value of extension" ] ;
       fhir:definition [ fhir:v "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:min [ fhir:v "0"^^xsd:nonNegativeInteger ] ;
       fhir:max [ fhir:v "1" ] ;
       fhir:base [
         fhir:path [ fhir:v "Extension.value[x]" ] ;
         fhir:min [ fhir:v "0"^^xsd:nonNegativeInteger ] ;
         fhir:max [ fhir:v "1" ]
       ] ;
       fhir:type ( [
         fhir:code [ fhir:v "code"^^xsd:anyURI ]
       ] ) ;
       fhir:constraint ( [
         fhir:key [ fhir:v "ele-1" ] ;
         fhir:severity [ fhir:v "error" ] ;
         fhir:human [ fhir:v "All FHIR elements must have a @value or children" ] ;
         fhir:expression [ fhir:v "hasValue() or (children().count() > id.count())" ] ;
         fhir:xpath [ fhir:v "@value|f:*|h:div" ] ;
         fhir:source [
           fhir:v "http://hl7.org/fhir/StructureDefinition/Element"^^xsd:anyURI ;
           fhir:link <http://hl7.org/fhir/StructureDefinition/Element>
         ]
       ] ) ;
       fhir:isModifier [ fhir:v "false"^^xsd:boolean ] ;
       fhir:isSummary [ fhir:v "false"^^xsd:boolean ] ;
       fhir:binding [
         fhir:strength [ fhir:v "required" ] ;
         fhir:valueSet [
           fhir:v "http://terminology.hl7.org/ValueSet/mif-conceptRelationshipTransitivity"^^xsd:anyURI ;
           fhir:link <http://terminology.hl7.org/ValueSet/mif-conceptRelationshipTransitivity>
         ]
       ] ;
       fhir:mapping ( [
         fhir:identity [ fhir:v "rim" ] ;
         fhir:map [ fhir:v "N/A" ]
       ] [
         fhir:identity [ fhir:v "mif" ] ;
         fhir:map [ fhir:v "SupportedConceptRelationship.transitivity" ]
       ] )
     ] )
  ] ; # 
  fhir:differential [
     fhir:element ( [
       fhir:id [ fhir:v "Extension" ] ;
       fhir:path [ fhir:v "Extension" ] ;
       fhir:short [ fhir:v "MIF concept relationship transitivity" ] ;
       fhir:definition [ fhir:v "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:max [ fhir:v "1" ]
     ] [
       fhir:id [ fhir:v "Extension.extension" ] ;
       fhir:path [ fhir:v "Extension.extension" ] ;
       fhir:max [ fhir:v "0" ]
     ] [
       fhir:id [ fhir:v "Extension.url" ] ;
       fhir:path [ fhir:v "Extension.url" ] ;
       fhir:type ( [
         fhir:code [ fhir:v "uri"^^xsd:anyURI ]
       ] ) ;
       fhir:fixed [ fhir:v "http://terminology.hl7.org/StructureDefinition/ext-mif-relationship-transitivity"^^xsd:anyURI ]
     ] [
       fhir:id [ fhir:v "Extension.value[x]" ] ;
       fhir:path [ fhir:v "Extension.value[x]" ] ;
       fhir:type ( [
         fhir:code [ fhir:v "code"^^xsd:anyURI ]
       ] ) ;
       fhir:binding [
         fhir:strength [ fhir:v "required" ] ;
         fhir:valueSet [
           fhir:v "http://terminology.hl7.org/ValueSet/mif-conceptRelationshipTransitivity"^^xsd:anyURI ;
           fhir:link <http://terminology.hl7.org/ValueSet/mif-conceptRelationshipTransitivity>
         ]
       ] ;
       fhir:mapping ( [
         fhir:identity [ fhir:v "mif" ] ;
         fhir:map [ fhir:v "SupportedConceptRelationship.transitivity" ]
       ] )
     ] )
  ] . # 

# -------------------------------------------------------------------------------------