search

ontologyportal / sumo

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

one minor revision to fix the class and instance mistake int he axioms. #284

Closed jenniech closed 2 years ago

jenniech commented 2 years ago

Dear Adam, I have made one correction in the computingbrands.kif

Jennie

jenniech commented 2 years ago

Dear Adam,

I have made more changes. And thank you for the correction.

Jennie