Instance information
IAO 0000111
universal
IAO 0000117
Alan Ruttenberg
IAO 0000119
A Formal Theory of Substances, Qualities, and Universals, http://ontology.buffalo.edu/bfo/SQU.pdf
editor note
Hard to give a definition for. Intuitively a "natural kind" rather than a collection of any old things, which a class is able to be, formally. At the meta level, universals are defined as positives, are disjoint with their siblings, have single asserted parents.
Instance relations
Types