山溪鲵属("Batrachuperus" )是有尾目小鲵科的一属动物。