SNOMED Documentation Search


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

Current Version - Under Revision

The following steps can be applied to test for subsumption of any candidate expression by a predicate expression .

  1. Transform the predicate expression to short normal form [8 (see 7.8.2.4.4.4.1 Deriving the short normal view):
    • The resulting "predicate short normal form expression " is referred in subsequent steps as the normalized -predicate .
  2. Transform the candidate expression to long normal form (see Transforming expressions to normal forms) :
    • The resulting "candidate long normal form expression " is referred in subsequent steps as the normalized -candidate .
  3. Test for subsumption between the normalized -predicate and the normalized -candidate by applying the tests described in 7.8.2.4.5.2.1 Testing subsumption between two normal form expressions:
    • The predicate expression subsumes the candidate expression if the normalized -predicate subsumes the normalized -candidate .

Feedback