Experimental Factor Ontology (EFO)
OWL
Last submission date March 29, 2025
ID http://purl.obolibrary.org/obo/IAO_0000410
http://purl.obolibrary.org/obo/IAO_0000410
https://agroportal.lirmm.fr/ontologies/EFO/IAO_0000410
Loading
Label universal
IAO_0000117 Alan Ruttenberg
IAO_0000111 universal
IAO_0000116 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.
IAO_0000119 A Formal Theory of Substances, Qualities, and Universals, http://ontology.buffalo.edu/bfo/SQU.pdf