Add subclass axioms for terms beginning with h-m

I will work on these terms