Relation PIECE-OF

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.
Arity: 2
Domain: Entity
Range: Entity
Subrelation-Of: Part-of
Axioms:
(=> (Piece-Of ?A ?B)
    (=> (And (Part-Of ?A ?B) (Part-Of ?B ?A)) (Identity ?A ?B)))