Page tree

Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

Whenever an already stated “REPLACED_BY” target itself also becomes inactive - whether at the same release or later, identifying the replacement for the original concept, should follow the combinatorial logic stated below.

...

Combinatorial Logic - REPLACED_BY

(A) REPLACED_BY (B) and (B) SAME_AS (C) implies (A) REPLACED_BY (C)

(A) REPLACED_BY (B) and (B) REPLACED_BY (C) implies (A) REPLACED_BY (C)

(AIntEd) REPLACED_BY (BIntEd) and (BIntEd) MOVED_TO (CNRC) implies (AIntEd) MOVED_TO (CNRC)

(A) REPLACED_BY (B) and (B) POSSIBLY_EQUIVALENT_TO (C, D) implies (A) POSSIBLY_EQUIVALENT_TO (C, D)

(A) REPLACED_BY (B) and (B) WAS_A (C AND D) implies (A) WAS_A (C AND D)

Whenever an already stated “POSSIBLY_REPLACED_BY” target itself also becomes inactive - whether at the same release or later, identifying the replacement for the original concept, should follow the combinatorial logic stated below.

...

Combinatorial Logic - POSSIBLY_REPLACED_BY

(A) POSSIBLY_REPLACED_BY (B OR C) and (B) SAME_AS (D) implies (A) POSSIBLY_REPLACED_BY (C OR D)

(A) POSSIBLY_REPLACED_BY (B OR C) and (B) REPLACED_BY (D) implies (A) POSSIBLY_REPLACED_BY (C OR D)

(AIntEd) POSSIBLY_REPLACED_BY (BIntEd OR CIntEd) and (BIntEd) MOVED_TO (DNRC) implies (AIntEd) POSSIBLY_REPLACED_BY (CIntEd)

(A) POSSIBLY_REPLACED_BY (B OR C) and (B) POSSIBLY_REPLACED_BY (D OR E) implies (A) POSSIBLY_REPLACED_BY (C OR D OR E)

(A) POSSIBLY_REPLACED_BY (B OR C) and (B) POSSIBLY_EQUIVALENT_TO (D OR E) implies (A) POSSIBLY_REPLACED_BY (C OR D OR E)

(A) POSSIBLY_REPLACED_BY (B OR C) and (B) WAS_A (D AND E) implies ((A) POSSIBLY_REPLACED_BY (C) OR (A) WAS_A (D AND E))

Note: Once MOVED_TO the NRC, SNOMED International have no knowledge of what has happened to BIntEd