NCIt definition : Kinds are types. By definition, kinds are all pairwise disjoint from one another.
In other words the sets of individuals of a given kind have no overlap with any other
kind. A namespace can contain multiple kinds, and often will. (Apelon);