The statement "cats are a kind of animal" is true because because cats are a kind of animal