WordNet (r) 3.0 (2006):family Crocodylidae n 1: true crocodiles [syn: Crocodylidae, family Crocodylidae]