Wordnet 3.0
NOUN (2)
1. 
 music performed for dancing the polka; 
2. 
 a Bohemian dance with 3 steps and a hop in fast time; 
VERB (1)
1. 
 dance a polka; 
The Collaborative International Dictionary of English v.0.48:
Polka \Pol"ka\, n. [Pol. Polka a Polish woman: cf. F. & G.
   polka.]
   1. A dance of Polish origin, but now common everywhere. It is
      performed by two persons in common time.
      [1913 Webster]
   2. (Mus.) A lively Bohemian or Polish dance tune in 2-4
      measure, with the third quaver accented.
      [1913 Webster]
   Polka jacket, a kind of knit jacket worn by women.
      [1913 Webster]
WordNet (r) 3.0 (2006):
polka
    n 1: music performed for dancing the polka
    2: a Bohemian dance with 3 steps and a hop in fast time
    v 1: dance a polka
The Free On-line Dictionary of Computing (30 December 2018):
Polka
    An object-oriented parallel logic programming
   language, built on top of Parlog.
   ["Polka: A Parlog Object-Oriented Language", Andrew Davison,
   TR, Parlog Group, Imperial College, London 1988].
   (1995-01-31)