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.