Trip"o*li (?), n. Min.
An earthy substance originally brought from Tripoli, used in polishing stones and metals. It consists almost wholly of the siliceous shells of diatoms.
© Webster 1913.