不是。根据买购网查询得知，霸王小子游戏机出自品牌小霸王。品牌始建于1987年，是国内游戏机、学习机行业知名品牌，专业从事教育类电子产品的开发研究、生产和销售，目前主要推出学习机、学生平板电脑、复读机、早教机器人、迷你街机游戏机、游戏掌机等产品。