Inverse relations

[ .. ] → kbdef:hasDerivative → The logic of thinking / P.A.M. Seuren