A specialized common sense notion of part for arbitrary parts of masses, usually characterized by quantitative measure (either in a numerical or an analogic scale). It is transitive. Quasi-synonyms: chunk, quantity, amount.
(=> (Piece-Of ?A ?B) (=> (And (Part-Of ?A ?B) (Part-Of ?B ?A)) (Identity ?A ?B)))