Something is homogeneous when it has only arbitrary pieces as parts; ie any parts have similar properties.
(=> (_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))))