text: Manatees ( family Trichechidae , genus Trichechus ) are large , fully aquatic , mostly herbivorous marine mammals sometimes known as sea cows .
simplified: They are sometimes known as sea cows . The manatees form the genus Trichechus and the family Trichechidae .