Does already knowing “animal” invalidate taḍammun of “human” toward animal?

Mental Implication and Degrees of Clarity in Indication