What does a Port define? What does the PortType define?

The Port defines the actual location (endpoint) of the available service.

The PortType defines the abstract interface offered by the service.
A PortType defines a set of Operations.