====== PARS: Relation Between Part and Whole ======

**Definition**: The expression ''(o1 PARS o2)'' specifies that ''o1'' is a part of ''o2''; in other words, ''o2'' is the whole which contains ''o1'' as its component. The relation ''PARS'' is restrictedly transitive, asymmetric, and not reflexive.