logic_of_classes
https://ontology.buffalo.edu/bio/logic_of_classes.pdf
16 May 2024:
5 See Barry Smith, Jennifer Williams and Steffen Schulze-Kremer, 2003, “The Ontology of the Gene Ontology”, in Biomedical and Health Informatics: From Foundations to Applications, Proceedings of the Annual Symposium