Rules -v- Axioms (cont'd)


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))))