Mammaliaformes Rowe 1988 [crown] Class Mammalia Linnaeus, 1758 - mammals Subclass Theriiformes Rowe, 1988 see Division Theriiformes Rowe, 1988 Infraclass †Triconodonta Osborn, 1888 see Order Triconodonta Osborn, 1888 Family †Austrotriconodontidae Bonaparte, 1992 Genus †Austrotriconodon Bonaparte, 1986