Inverse relations

[ .. ] → kbdef:hasDerivative → ABC : a is een aap die zit op een boom