added axiom to Laser and a few revision

ontologyportal / sumo

Suggested Upper Merged Ontology (SUMO)

226 stars 71 forks source link

Closed jenniech closed 9 months ago

jenniech commented 9 months ago

Dear Adam,

I have made a few changes on terms related to the file Useful_terms_2023.kif. Please check and let me know if they are okay to merge.

Jennie XX