Relation COMPONENT-OF

A specialized common sense notion of part for heterogeneous parts of complexes. Consider the difficult issue of componentiality for substances and masses in general.
Arity: 2
Domain: Localized-entity
Range: Localized-entity
Subrelation-Of: Part-of
Axioms:
(=> (Component-Of ?A ?B) (_Complex ?B True))