added new terms to Useful-term_2023.kif - Githubissues

ontologyportal / sumo

Suggested Upper Merged Ontology (SUMO)

227 stars 71 forks source link

added new terms to Useful-term_2023.kif #370

Closed jenniech closed 1 year ago

jenniech commented 1 year ago

Dear Adam, Please find no terms added to Useful-terms_2023.kif Jennie