Yea, they are known by various names like yacht knife, sailing/rigging knife and so on. With the addition of a marlin spike this type of knife was issued in various navies.
...