- A formal (which is to say, domain-neutral) universal, such as entity, continuant, or occurrent.
[ Arp et al., 2015 ]
- A property that is rigid but does not carry a specific identity criteria.
[ Guarino, 1999 ]
extension proposal (FL, 2018-05-15):
- add category as defined in philosophy, as "highest kind of genera", cf. https://plato.stanford.edu/entries/categories/
- add category as defined in (mathematical) category theory (e.g., a foundation of the Distributed Ontology Language), cf. https://plato.stanford.edu/entries/category-theory/