![]() ![]() |
Assert that the combination of the hasParent and hasBrother properties implies the hasUncle property:
hasParent(?x1,?x2) ∧ hasBrother(?x2,?x3) ⇒ hasUncle(?x1,?x3)
Implies(Antecedent(hasParent(I-variable(x1) I-variable(x2)) hasBrother(I-variable(x2) I-variable(x3))) Consequent(hasUncle(I-variable(x1) I-variable(x3))))
Gets you just what you want (and a bit more)
If John has Mary as a parent and Mary has Bill has a brother
then John has Bill as an uncle
7 of 24 |