Substance Kind

https://opda.org.uk/pdtf/SubstanceKindCategoryTurtle ↓

A rigid sortal (OntoClean +R, +O) that supplies its own principle of identity — instances are necessarily of this type, and it carries an identity criterion its instances inherit.