move Englishnames from domainEnglishFormat.kif to NameTermFormat.kif.…

ontologyportal / sumo

Suggested Upper Merged Ontology (SUMO)

227 stars 71 forks source link

Closed jenniech closed 1 year ago

jenniech commented 1 year ago

… plus a few fixes on duplicated axioms and terms without a root.

jenniech commented 1 year ago

Hi Adam, Please review the changes made. Jennie