An animal resulting from an embryonic stem cell in which a normal functional gene has been replaced by a non-functional form of the gene. This technique is used extensively in mice - much can be learned about the function of a gene by studying the phenotype of animals that lack the peptide product of that gene.