What happens after death?

[BAndrew]

If betty (Y) is a cow (Z) and every cow (Z) is an ungulate (B), then betty (Y) is an ungulate (B)

Also notice what Bridge said:

Betty is a cow: Betty ∈ Cows
All cows are Ungulates: Cows ⊆ Ungulates
Therefore, Betty ∈ Ungulates.

Betty ⊆ Cows ⊆ Ungulates
Betty ∈ Cows ∈ Ungulates

I made a Vietta Diagram, it might help you understand it:



Another similar example:

All Z(integers) are R(real numbers)
2 is a Z(an integer)
2 is a R(Real number)

the following is of course incorrect:

All Cows(Z) are ungulates (B)
Betty(Y) is an ungulate(B)
Therefore Betty(Y) is a Cow(Z)

EDIT: WAIT I AM CONFUSED! I don't know who said what! But whatever, I told you my opinion.
EDIT2: OK after reading carefully, I agree with Bridge and Adrianis