Noun
aminopiperidine (plural aminopiperidines) (organic chemistry) Any amino derivative of piperidine