En gravko er det samme som en gravemaskine. Ordet refererer i sin oprindelse ikke til en ko, men skyldes en sammentrækning af firmanavnet Grave-Compagniet, Grave-Co., dannet 1927 af civilingeniør og betonvarefabrikant Kristian Hindhede (1891-1969).