Subsumption Test

A test that can determine whether a Concept subsumes another one.

This test allows to make graphical representations (tree like structures) where the higher concepts subsume the lower concepts.

Reduction to Consistency Test:

Classification is the computation of the subsumption graph. This is the subsumption relation among all concepts.