A specialized common sense notion of part for heterogeneous parts of complexes. Consider the difficult issue of componentiality for substances and masses in general.
(=> (Component-Of ?A ?B) (_Complex ?B True))