Their registration numbers do; their names start with USS. “USS Enterprise, NCC-1701-D”