Add subclass axioms for terms beginning with e-g

I will work on the terms starting with e, f & g.