more axioms in Transport_2024.kif

ontologyportal / sumo

Suggested Upper Merged Ontology (SUMO)

227 stars 71 forks source link

Closed jenniech closed 3 months ago

jenniech commented 3 months ago

Dear Adam,

Please check the revised codes and merge them if they look okay.

Jennie