hasPart

Definition If x 'has part' y, then y is a part of x.