Property:Subproperty of

As in Description Logics. The meaning of subproperty of is, in FOL:


 * p(a, b).
 * subpropertyOf(p, r).


 * r(a, b).