Skip to content

Resolve "Add subclass axioms for terms beginning with n-r"

Closes #10 (closed)

Edited by Volker Hofmann

Merge request reports