What type is “Every human is an animal; every animal is a body”?

Types of Qiyas: Istithna’i and Iqtirani