ડિમેટ્રોડોનને વિવિધ નામો દ્વારા ઓળખવામાં આવે છે