SNOMED Documentation Search


 Other Documents

Versions Compared

Key

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

The main reason for generating

Gloss
Spacetrue
tnormal form
Gloss
Spacetrue
texpressions
is to enable testing for
Gloss
Spacetrue
tequivalence
and subsumption between different post coordinated
Gloss
texpressions
. This section describes how these processes are carried out.

The process of generating

Gloss
Spacetrue
tnormal form
for an
Gloss
Spacetrue
texpression
also requires testing of subsumption between subsidiary elements within the
Gloss
texpression
.