Tyrannochthonius assimilis Hong and T.H. Kim, 1993
Species
Mundochthonius bifurcatus T.H. Kim and Hong, 1994
Mundochthonius minusculus T.H. Kim and Hong, 1994
Tyrannochthonius spinatus Hong, 1996
Tyrannochthonius suppressalis Hong, 1996
Allochthonius (Allochthonius) buanensis W.K. Lee, 1982
Allochthonius (Allochthonius) coreanus Morikawa, 1970
Pseudotyrannochthonius dentifer (Morikawa, 1970)
Allochthonius (Allochthonius) opticus (Ellingsen, 1907)
Tyrannochthonius assimilis Hong and T.H. Kim, 1993
Species