![]() ![]() |
Assert that art objects inherit the style/period of the artist that created them:
Artist(?x1) ∧ Style(?x2) ∧ artistStyle(?x1,?x2) ∧ creator(?x1,?x3) ⇒ styleOrPeriod(?x3,?x2)
Implies(Antecedent(Artist(I-variable(x1)) Style(I-variable(x2)) artistStyle(I-variable(x1) I-variable(x2)) creator(I-variable(x1) I-variable(x3))) Consequent(styleOrPeriod(I-variable(x3) I-variable(x2))))
9 of 24 |