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