noun
(paleontology) Any of the Theriodontia, a major group of therapsids which appeared during the Middle Permian.