Class Mammalia Linnaeus, 1758 - mammals Order †Eutriconodonta Kermack, Mussett & Rigney, 1973, incertae sedis Family †Triconodontidae Marsh, 1887 Subfamily †Alticonodontinae Fox, 1976 Genus †Astroconodon Patterson, 1951 †Astroconodon denisoniᵀ Patterson, 1951