OWL::DirectSemantics::Element::TransitiveObjectProperty(3pm) on Linux

The text bec10a80aea8, as Debian 7 (Wheezy) shipped it.

represents an OWL TransitiveObjectProperty