Definitions of intrados:

  • noun:   the interior curve of an arch