ontology A theoretical biosequence type is an abstraction used for annotation design of elements, e.g. gene, intron. MO_42 concrete