Current Version - Under Revision
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 any concept that is not in the comprehensive primitive view of the candidate concept definition, then the concept is not subsumed by the expression.
Figure 8.3.5-1: Example hierarchy containing defined and primitive concepts
Primitive supertypes of these concept
C, D, E, F
H, J, N
A, G, K
A, G, I
A, G, I, K