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.