Meaning of linoleum cutter

(noun) a knife having a short stiff blade with a curved point used for cutting linoleum