The Collaborative International Dictionary of English v.0.48:

Ochotonidae \Ochotonidae\ prop. n.
   A natural family of mammals including pikas and extinct
   forms.

   Syn: family Ochotonidae.
        [WordNet 1.5]

WordNet (r) 3.0 (2006):

Ochotonidae
    n 1: pikas and extinct forms [syn: Ochotonidae, family
         Ochotonidae]