Classification and 'to be'

In Siniuz I have built a system  which uses several verbs to express the
English 'to be.' including one referring to location, a ser-estar type
distinction, etc.  One such distinction made is the following:

le can gen le bet
the dog  is [a member of the category] animal

but

le bet spes can
the animal is [has as a subcategory] dog

First of all, I am not exactly sure how to term the distinction.  Secondly,
are there any other conlangs [or natlangs for that matter] that use such a
system?
pacs precs
Joe Mondello