Noun
A
condiment
based
on
red
chili
,
used
in
Korean
cuisine
.