http://grg.engr.sc.edu/wrc/0.1/HPO.owl#hasEq

used by 0: