hasSubLocation

Definition If x 'has sublocation' y, then x and y are locations, and x 'has part' y.