search

ontologyportal / sumo

Suggested Upper Merged Ontology (SUMO)
227 stars 71 forks source link

deleted duplicate axioms #295

Closed jenniech closed 1 year ago

jenniech commented 1 year ago

Dear Adam,

Please merge.

Jennie