a few minor correction - Githubissues

ontologyportal / sumo

Suggested Upper Merged Ontology (SUMO)

227 stars 71 forks source link

Closed jenniech closed 1 year ago

jenniech commented 1 year ago

Dear Adam, Just a few minor updates.

Please check and merge if they look okay to you. Jennie

jenniech commented 1 year ago

Hi Adam, The duplicated axioms have been deleted. Jennie