Deductions
- organism is for example Joonas Mäkinen ⇐ (Joonas Mäkinen is a organism), (is a is inverse of is for example)
- Joonas Mäkinen is a organism ⇐ (vertebrate is subclass of organism), (Joonas Mäkinen is a vertebrate)
- animal is for example Joonas Mäkinen ⇐ (Joonas Mäkinen is a animal), (is a is inverse of is for example)
- physical anatomical entity is for example Joonas Mäkinen ⇐ (Joonas Mäkinen is a physical anatomical entity), (is a is inverse of is for example)
- vertebrate is for example Joonas Mäkinen ⇐ (Joonas Mäkinen is a vertebrate), (is a is inverse of is for example)
- heterotroph is for example Joonas Mäkinen ⇐ (Joonas Mäkinen is a heterotroph), (is a is inverse of is for example)
- Joonas Mäkinen is a heterotroph ⇐ (human is subclass of heterotroph), (Joonas Mäkinen is a human)
- Joonas Mäkinen is a animal ⇐ (human is subclass of animal), (Joonas Mäkinen is a human)
- Joonas Mäkinen is a vertebrate ⇐ (human is subclass of vertebrate), (Joonas Mäkinen is a human)
- Joonas Mäkinen is a physical anatomical entity ⇐ (human is subclass of physical anatomical entity), (Joonas Mäkinen is a human)
- human is for example Joonas Mäkinen ⇐ (Joonas Mäkinen is a human), (is a is inverse of is for example)