Figure 1
From: Ontology design patterns to disambiguate relations between genes and gene products in GENIA
Axioms for the relations in the GENIA relation ontology. R stands for reflexivity, IR for irreflexivity, S for symmetry, T for transitivity, Anti for antisymmetry and AS for asymmetry.