Inverse relations

[ .. ] → kbdef:hasDerivative → Barbara van Houten / G. Knuttel Jr