生成一个关于蚂蚁的分类段落。


蚂蚁是种群性昆虫，全球分布广泛。请生成一个描述蚂蚁分类的段落。
蚂蚁是属于膜翅目蚂蚁科的昆虫，目前已知大约有超过1.2万种不同的蚂蚁存在。它们通常被分为三个亚科，包括真蚂蚁亚科、霸蚁亚科和副蚁亚科。真蚂蚁亚科是最为广泛分布的亚科，包括大多数人们熟知的蚂蚁种类，如黑蚂蚁、火蚁和角蚁等。霸蚁亚科则是由一些比较少见的原住民蚂蚁种类组成。副蚁亚科目前已知蚂蚁种类相对较少，且多数生活在热带地区。蚂蚁种类的分类还可以根据它们生存和饮食习惯、外部特征和分布地理位置等方面的差异进行更为详细的划分。