RhymeZone: pet coke definitions

Definitions of pet coke:

noun: Clipping of petroleum coke. [A substance, mostly carbon, that is a byproduct of oil refining; used as a fuel or in many industrial applications.]

(Definitions from Wiktionary)