[beardyw]

So "dogs are animals", does that work?

[diffeomorphism]

Yes, "dogs are the animals (e.g. the only animals on this space station)" is implied to be reversible. Indefinite or missing articles like in your example make no such implication.