From OpenCog

A ShapeLink is a special case of the ConnectorSeq Link type. It can be thought of as a labelled ConnectorSeq. However, it's primary use case is to have one of the Connectors have a wild-card in it.

See CrossSection for a detailed example and a discussion of how shapes are used, and why they are important.