See glossary for definition here: proximal primitive (PP)
The approved modelling approach is to use:
The classifier infers all appropriate proximal supertypes. With sufficiently defined concepts the subtypes are also inferred.
Figure 1: Stated view
The inferred view shows the logical definition of the concept. By using the stated relationships (for this concept and other concepts currently in the terminology), the classifier infers three defined proximal supertypes:
Figure 2: Inferred view
Where more than one potential primitive supertype is identified for a concept, authors should check the primitive supertypes for subsumption of one or more other primitive supertypes. Any subsuming concept is not a PP supertype.
For information on the effect of GCIs on modeling primitive supertypes, see General Concept Inclusions (GCIs), GCI-Modeled Primitive Ancestor.