====== SUB: Subordination of Concepts Representing Objects ======

**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.