A voltage-gated ion channel protein that has potassium channel activity. A potassium channel enables the facilitated diffusion of a potassium ion (by an energy-independent process) involving passage through a transmembrane aqueous pore or channel without evidence for a carrier-mediated mechanism. [ http://amigo.geneontology.org/amigo/term/GO:0005267 PRO:XQ ]