Another way to say "horses are mammals." is "one kind of mammal is a horse"