Open Topology opened 5 years ago
Change axiom created.
Add axioms for is_a, defined in terms of instance(X,Y)?
Change axiom created.
Add axioms for is_a, defined in terms of instance(X,Y)?