Instance information
IAO 0000111
defined class
IAO 0000117
Alan Ruttenberg
definition
A defined class is a class that is defined by a set of logically necessary and sufficient conditions but is not a universal
editor note
"definitions", in some readings, always are given by necessary and sufficient conditions. So one must be careful (and this is difficult sometimes) to distinguish between defined classes and universal.
Instance relations
Types