Another way to say "Horses are mammals" is "One type of mamals is a horse."