Definition: The expression (o1 SUB o2) specifies that the individual or generic concept o1 is subordinate to the generic concept o2, i.e. everything derivable for o2 is also valid for o1. The relation SUB is transitive, not reflexive, and asymmetric.