Deductions
- Thabo Mbeki has quality existence ⇐ (Thabo Mbeki has quality abstract entity), (abstract entity has quality existence), (has quality is a transitive relation)
- Thabo Mbeki has quality superclass ⇐ (Thabo Mbeki has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- Thabo Mbeki has quality taxonomic rank ⇐ (Thabo Mbeki has quality abstract entity), (abstract entity has quality taxonomic rank), (has quality is a transitive relation)
- Thabo Mbeki is a organism ⇐ (vertebrate is subclass of organism), (Thabo Mbeki is a vertebrate)
- organism is for example Thabo Mbeki ⇐ (Thabo Mbeki is a organism), (is a is inverse of is for example)
- Thabo Mbeki has quality type of property ⇐ (Thabo Mbeki has quality quality), (quality has quality type of property), (has quality is a transitive relation)
- Thabo Mbeki has quality type ⇐ (Thabo Mbeki has quality quality), (quality has quality type), (has quality is a transitive relation)
- Thabo Mbeki has quality class ⇐ (Thabo Mbeki has quality quality), (quality has quality class), (has quality is a transitive relation)
- Thabo Mbeki is a organism ⇐ (human is subclass of organism), (Thabo Mbeki is a human)
- Thabo Mbeki has quality abstract entity ⇐ (psychology concept is a abstract entity), (Thabo Mbeki has quality psychology concept)
- Thabo Mbeki has quality superclass ⇐ (Thabo Mbeki is a vertebrate), (vertebrate has quality superclass)
- Thabo Mbeki has quality existence ⇐ (Thabo Mbeki is a vertebrate), (vertebrate has quality existence)
- Thabo Mbeki has quality topic ⇐ (Thabo Mbeki is a vertebrate), (vertebrate has quality topic)
- Thabo Mbeki has quality taxonomic rank ⇐ (Thabo Mbeki is a vertebrate), (vertebrate has quality taxonomic rank)
- Thabo Mbeki has quality quality ⇐ (Thabo Mbeki is a vertebrate), (vertebrate has quality quality)
- Thabo Mbeki has quality entity ⇐ (psychology concept is a entity), (Thabo Mbeki has quality psychology concept)
- vertebrate is for example Thabo Mbeki ⇐ (Thabo Mbeki is a vertebrate), (is a is inverse of is for example)
- physical anatomical entity is for example Thabo Mbeki ⇐ (Thabo Mbeki is a physical anatomical entity), (is a is inverse of is for example)
- animal is for example Thabo Mbeki ⇐ (Thabo Mbeki is a animal), (is a is inverse of is for example)
- heterotroph is for example Thabo Mbeki ⇐ (Thabo Mbeki is a heterotroph), (is a is inverse of is for example)
- Thabo Mbeki has quality species distribution ⇐ (Thabo Mbeki is a animal), (animal has quality species distribution)
- Thabo Mbeki has quality behavior ⇐ (Thabo Mbeki is a animal), (animal has quality behavior)
- Thabo Mbeki has quality field of study ⇐ (Thabo Mbeki is a animal), (animal has quality field of study)
- Thabo Mbeki has quality psychology concept ⇐ (Thabo Mbeki is a animal), (animal has quality psychology concept)
- Thabo Mbeki has quality animal behavior ⇐ (Thabo Mbeki is a animal), (animal has quality animal behavior)
- Thabo Mbeki is a heterotroph ⇐ (human is subclass of heterotroph), (Thabo Mbeki is a human)
- Thabo Mbeki is a animal ⇐ (human is subclass of animal), (Thabo Mbeki is a human)
- Thabo Mbeki is a vertebrate ⇐ (human is subclass of vertebrate), (Thabo Mbeki is a human)
- Thabo Mbeki is a physical anatomical entity ⇐ (human is subclass of physical anatomical entity), (Thabo Mbeki is a human)
- human is for example Thabo Mbeki ⇐ (Thabo Mbeki is a human), (is a is inverse of is for example)