Manatees -LRB- family Trichechidae , genus Trichechus -RRB- are large , fully aquatic marine mammals sometimes known as sea cows .

They are sometimes known as sea cows . The manatees form the genus Trichechus and the family Trichechidae .
