Relation _HOMOGENEOUS

Something is homogeneous when it has only arbitrary pieces as parts; ie any parts have similar properties.
Arity: 2
Subrelation-Of: Mereological-property
Axioms:
(=> (_Homogeneous ?A ?B)
    (Forall (?P ?Q ?C1 ?C2)
            (=> (And (Part-Of ?P ?A)
                     (Part-Of ?Q ?A)
                     (Concept ?C1)
                     (Concept ?C2)
                     (Instance-Of ?P ?C1)
                     (Instance-Of ?Q ?C2))
                (Identity ?C1 ?C2))))