 Clapp (2001) and Walter (2006) argued that high-level kinds can be legitimately identified with disjunctive kinds. The high-level type is identical to a kind we can refer to by a term consisting of a disjunction of expressions each of which refers to one of the different low-level kinds that realize the high-level kind: Hx = (L1x or L2x or……Lnx). We may be able to specify the relevant term only in principle in cases where the disjunction is infinitely long. This strategy is also pertinent in Dizadji Bahmani et al. 2010.