Inversion Formula

From OpenCog

Inputs: sA, sB, sAB

Output sBA = sB*sAB/sA

No consistency conditions necessary

Formulas can be implemented in Atomese using the PredicateFormulaLink.