fun
n
1 amusement, beer and skittles (informal) cheer, distraction, diversion, enjoyment, entertainment, frolic, gaiety, good time, high jinks, jollification, jollity, joy, junketing, living it up, merriment, merrymaking, mirth, pleasure, recreation, romp, sport, treat, whoopee (informal)
2 buffoonery, clowning, foolery, game, horseplay, jesting, jocularity, joking, nonsense, play, playfulness, skylarking (informal) sport, teasing, tomfoolery
3 in or for fun facetiously, for a joke, for a laugh, in jest, jokingly, light-heartedly, mischievously, playfully, roguishly, teasingly, tongue in cheek, with a gleam or twinkle in one's eye, with a straight face
4 make fun of deride, hold up to ridicule, lampoon, laugh at, make a fool of, make a monkey of, make game of, make sport of, make the butt of, mock, parody, poke fun at, rag, rib (informal) ridicule, satirize, scoff at, send up (Brit. informal) sneer at, take off, take the piss out of (taboo slang) taunt
adj
5 amusing, convivial, diverting, enjoyable, entertaining, lively, witty
Antonyms
1 depression, desolation, despair, distress, gloom, grief, melancholy, misery, sadness, sorrow, unhappiness, woe