Skip to content

Remove misplaced subclass axiom #1163

Remove misplaced subclass axiom

Remove misplaced subclass axiom #1163