SNOMED Documentation Search

 Other Documents
Skip to end of metadata
Go to start of metadata

Current Version - Under Revision

The main reason for generating normal form expressionsis to enable testing for equivalenceand subsumption between different post coordinated expressions. This section describes how these processes are carried out.

The process of generating normal formfor an expressionalso requires testing of subsumption between subsidiary elements within the expression.