Will turtles bother a koi?

There is a yellow belly slider, a map turtle, a rio grande slider, and a painted turtle wich is the smallest about 1 inch he doesnt seemto grow much like the others but he eats the biggest one is about 3-4 inches which is the yellow belly slider and I was looking to put a koi in their tank but I didn't want to spend the money for one if they would eat it so if you could answer my question that'd be great. Thanks