Skip to content

Resolve "Add subclass axioms for terms beginning with e-g"

Closes #8 (closed)

Edited by Volker Hofmann

Merge request reports