"This also covers hierarchy, in that an animal is a dog, and a dog is an animal, but a corncob is not an animal." . . . .