suggested to sync merge and tiny

ontologyportal / sumo

Suggested Upper Merged Ontology (SUMO)

227 stars 71 forks source link

Open arademaker opened 4 years ago

arademaker commented 4 years ago

See #216, some suggestions to sync tiny with merge current axioms.

arademaker commented 4 years ago

hi @apease , can you provide a feedback about this PR? Maybe closing or accepting?

k00ni commented 9 months ago

Any news here?

apease commented 9 months ago

I haven't worked on this, but I'm glad to advise if someone does