added more definitions for threeSecondGustSpeed.

ontologyportal / sumo

Suggested Upper Merged Ontology (SUMO)

227 stars 71 forks source link

added more definitions for threeSecondGustSpeed. #232

Closed jenniech closed 3 years ago

jenniech commented 3 years ago

Dear Adam,

I have made some minor corrections on previous axioms submitted as well as added a few new definitions for the threeSecondGustSpeed. Please check to see if they are good to go.

Thank you! Jennie

apease commented 3 years ago

needs corrections for unquantified variables that only appear in the consequent