Genus: Trichasaurus WILLISTON, 1913
Etymology:
= Trispondylus WILLISTON, 1910 non Vanden Broeck, 1874 (Trispondylus kleini, Mammalia, Cetacea), non COPE, 1884 (Trispondylus  no psecies name given, Mammalia, Phenacodontidae)
Etymology:

Species: texenensis (WILLISTON, 1910) WILLISTON, 1913
Etymology: In reference to the state of Texas, where the specimen was found.
= Trispondylus texenensis WILLISTON, 1910

Holotype: FMNH UC 652

Locality: Craddock's Ranch, Baylor County, Texas.

Horizon: Middle Arroyo Formation, Lower Clear Fork Group.

Biostratigraphy: Land-vertebrate faunachron lower D.

Age: Middle Leonardian stage, upper Rotliegendes, Early Permian.

Material: A partial vertebra column, pelvis, right humerus, right radius, right ulna, left femur, and scraps.

Referred material:

Locality: Indian Creek, a tributary of the Big Wichita River from the northwest of Coffee Creek, Texas.

Horizon: Arroyo Formation, Lower Clear Fork Group.

Biostratigraphy: Land-vertebrate faunachron lower D.

Age: Middle Leonardian stage, upper Rotliegendes, Early Permian.

Material:

MCZ 1352: Tooth plate.