Exchanging:

implication: sea_turtle → marine_turtle
↓
alias: sea_turtle → marine_turtle

Reason:

Synonyms. Despite of "sea_turtle" be the most ususual term, "marine_turtle" currently implies "turtle".

Related implications:

• marine_turtle → marine.¹

¹ Like the pinnipeds (which currently imply "marine"), marine turtles are able to walk on land, but are most closely connected with the ocean.

Edit:

After a brief discussion has been decided that the following suggestions would be more appropriate:

Exchanging:

implication: sea_turtle → marine_turtle
↓
alias: marine_turtle → sea_turtle

Resulting changes:

Implication: marine_turtle → turtle
↓
Implication: sea_turtle → turtle

Implicating:

• sea_turtle → marine.¹