#order_Ictodosauria__Ictodosauria  extinct reptiles of the Upper Triassic
  supertype:  #animal_order  the order of animals
  member of:  #subclass_Synapsida
  member:  #ictodosaur  intermediate in form between the therapsids and most primitive true mammals

No statement uses or specializes #order_Ictodosauria; click here to add one.