#sea_turtle__seaturtle__marine_turtle  any of various large turtles with limbs modified into flippers; widely distributed in warm seas
  supertype:  #turtle  any of various aquatic and land reptiles having a bony shell and flipper-like limbs for swimming
  subtype:  #green_turtle__greenturtle__Chelonia_mydas  large tropical turtle with greenish flesh used for turtle soup
  subtype:  #loggerhead_turtle__loggerhead__Caretta_caretta  very large carnivorous sea turtle; wide ranging in warm open seas
  subtype:  #ridley  a marine turtle
     subtype:  #Atlantic_ridley__bastard_ridley__bastardridley__bastard_turtle__bastardturtle__Lepidochelys_kempii  gray sea turtle of the Atlantic and Gulf coasts of North America
     subtype:  #Pacific_ridley__olive_ridley__oliveridley__Lepidochelys_olivacea  olive-colored sea turtle of tropical Pacific and Indian and South Atlantic oceans
  subtype:  #hawksbill_turtle__hawksbillturtle__hawksbill__hawkbill__tortoiseshell_turtle__tortoiseshellturtle__Eretmochelys_imbricata  pugnacious tropical sea turtle with a hawk-like beak; source of food and the best tortoiseshell
  subtype:  #leatherback_turtle__leatherbackturtle__leatherback__leatheryturtle__Dermochelys_coriacea  wide ranging marine turtle with flexible leathery carapace; largest living turtle

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