Relation FINER-GRAIN-COMPONENT

Arity: 2
Domain: Material-object
Range: Material-object
Subrelation-Of: Coarser-granularity, Component
Axioms:
(<=> (Finer-Grain-Component ?A ?B)
     (And (Coarser-Granularity ?A ?B)
          (Component ?A ?B)
          (Material-Object ?A)
          (Material-Object ?B)))