![]() ![]() |
Also:
SubClassOf(intersectionOf(A restriction(P someValuesFrom(B))) intersectionOf(C restriction(Q allValuesFrom(D))))is equivalent to
Implies(Antecedent(A(I-variable(x1)) P(I-variable(x1) I-variable(x2)) B(I-variable(x2))) Consequent(C(I-variable(x2)))) Implies(Antecedent(A(I-variable(x1)) P(I-variable(x1) I-variable(x2)) B(I-variable(x2)) Q(I-variable(x1) I-variable(x3))) Consequent(D(I-variable(x2))))
11 of 24 |