SNOMED Documentation Search

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

Current Version - Under Revision

An inferred view of a conceptdefinition may contain relationships to all supertype ancestors that are primitive concepts (shaded green in examples  Error: Referenced caption id not found!

Captions on current page:
- Table: with ID: primitive-supertypes-in-the-example-hierarchy
- Figure: with ID: example-hierarchy

The rationale for this is that all the distinguishing features of the defined  concepts (white unshaded in examples) are represented by other defining relationships which will show up in the attribute part of the view.

This view can be used when testing whether a candidate concept is subsumed by a predicate expression. If the proximal primitive supertype view of the predicate expression includes anyconcept that is not in the comprehensive primitive view of the candidate conceptdefinition, then the concept is not subsumed by the expression.

Figure 8.3.5-1: Example hierarchy containing defined and primitive concepts

Table 8.3.5-1: Primitive Supertypes in the Example Hierarchy


Primitivesupertypes of these concept

C, D, E, F

A, B

H, J, N

A, G


A, G, K

L, M

A, G, I


A, G, I, K


  1. In this view the definitions of primitive concepts should implicitly or explicitly include a reference to the defined concept itself. This is because a primitiveconcept expresses some meaning that is not fully distinguished from its supertypes by other defining relationships. The reference to self need not be explicitly stored and provided that it is included implicitly at run time.
  2. See also  8.3.6 Proximal primitive supertypes.