Here we show, that it is possible to request, that the PartOf relationship type has a true inverse if only one chooses proper domains and ranges for the classes, which are put into the relationship type definitions.