search

ontologyportal / sumo

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

minor revision in Economy.kif #304

Closed jenniech closed 1 year ago

jenniech commented 1 year ago

Dear Adam,

I have just fixed the formatting of a few axioms in my previous submission.

Jennie