search

ontologyportal / sumo

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

Fix some small errors in Weather.kif #242

Closed Regermeister closed 3 years ago

Regermeister commented 3 years ago

I believe I have found some errors in Weather.kif:

  1. Four domain formulas that are phrased like (domain 1 measuringListDuration MeasuringList) instead of (domain measuringListDuration 1 MeasuringList)

  2. Two misspellings of "exists"

apease commented 3 years ago

thanks!