I have made a few changes to Merge and Catalog.kif to fix the inconsistency issues between entity and class for the axioms involved in the two files. Hope that you could find time to check the changes and let me know if they can be merged to the main branch.
Thank you!
Dear Adam,
I have made a few changes to Merge and Catalog.kif to fix the inconsistency issues between entity and class for the axioms involved in the two files. Hope that you could find time to check the changes and let me know if they can be merged to the main branch. Thank you!
Jennie