Categories, Necessity, and Sufficiency
To see how these hierarchical relationships are established, let’s look at our prototypical Barbara syllogism again.
All dogs are mammals
all mammals are warm-blooded
therefore all dogs are warm-blooded
This syllogism works only because there is a relationship between these three categories that can be pictured like this.