potassium channel activity [GO_0005267] - Virtual Fly Brain