[716] Korallenholz, ist 1) Adenanthera pavonica, ostindischer Baum, mit rothen Fruchtkernen (Korallenerbsen), im Land u. auch in Europa zu Halsbändern u. sonst zur Zierde gebraucht; 2) Holzarten von exotischen Bäumen, von der Farbe der rothen Korallen, zu eingelegten Tischlerarbeiten.