search

ontologyportal / sumo

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

Jenniech #226

Closed jenniech closed 4 years ago

jenniech commented 4 years ago

Dear Adam, Please merge the new files submitted. I have just revised the format statements as suggested. Thank you!

jenniech commented 4 years ago

Hi Adam, I have just revised, committed, checked the changes of these files. Please merge them while I work on the definitions for MartimeHazard, Reef and Shoal in Geography.kif. Thank you. Jennie