The instantiation relation holds between a category and an item. It is not a relation between categories and individuals due to higher order categories such as "species".
The instantiation relation holds between a category and an item. It is not a relation between categories and individuals due to higher order categories such as "species".