Inverse relations

[ .. ] → kbdef:hasDerivative → H. Taine / door P. Feenstra Jr