Another way to say "A horse is an animal" is "One type of animal is a horse."