Relation FINER-GRAIN-COMPONENT-OF

Arity: 2

Domain: Material-object

Range: Material-object

Subrelation-Of: Component-of, Finer-granularity

Axioms:

(<=> (Finer-Grain-Component-Of ?A ?B)
     (And (Component-Of ?A ?B)
          (Finer-Granularity ?A ?B)
          (Material-Object ?A)
          (Material-Object ?B)))

• Defined in theory: Meronymy
• Source code: Meronymy.lisp