Deductions
- Petter Henriksen has quality class ⇐ (behavior is a class), (Petter Henriksen has quality behavior)
- Petter Henriksen has quality abstract entity ⇐ (psychology concept is a abstract entity), (Petter Henriksen has quality psychology concept)
- organism is for example Petter Henriksen ⇐ (Petter Henriksen is a organism), (is a is inverse of is for example)
- Petter Henriksen is a organism ⇐ (vertebrate is subclass of organism), (Petter Henriksen is a vertebrate)
- Petter Henriksen has quality entity ⇐ (taxonomic rank is a entity), (Petter Henriksen has quality taxonomic rank)
- animal is for example Petter Henriksen ⇐ (Petter Henriksen is a animal), (is a is inverse of is for example)
- physical anatomical entity is for example Petter Henriksen ⇐ (Petter Henriksen is a physical anatomical entity), (is a is inverse of is for example)
- vertebrate is for example Petter Henriksen ⇐ (Petter Henriksen is a vertebrate), (is a is inverse of is for example)
- heterotroph is for example Petter Henriksen ⇐ (Petter Henriksen is a heterotroph), (is a is inverse of is for example)
- Petter Henriksen has quality field of study ⇐ (Petter Henriksen is a vertebrate), (vertebrate has quality field of study)
- Petter Henriksen has quality animal behavior ⇐ (Petter Henriksen is a vertebrate), (vertebrate has quality animal behavior)
- Petter Henriksen has quality quality ⇐ (Petter Henriksen is a vertebrate), (vertebrate has quality quality)
- Petter Henriksen has quality psychology concept ⇐ (Petter Henriksen is a vertebrate), (vertebrate has quality psychology concept)
- Petter Henriksen has quality taxonomic rank ⇐ (Petter Henriksen is a vertebrate), (vertebrate has quality taxonomic rank)
- Petter Henriksen has quality topic ⇐ (Petter Henriksen is a vertebrate), (vertebrate has quality topic)
- Petter Henriksen has quality behavior ⇐ (Petter Henriksen is a vertebrate), (vertebrate has quality behavior)
- Petter Henriksen has quality existence ⇐ (Petter Henriksen is a vertebrate), (vertebrate has quality existence)
- Petter Henriksen has quality superclass ⇐ (Petter Henriksen is a vertebrate), (vertebrate has quality superclass)
- Petter Henriksen is a heterotroph ⇐ (human is subclass of heterotroph), (Petter Henriksen is a human)
- Petter Henriksen is a animal ⇐ (human is subclass of animal), (Petter Henriksen is a human)
- Petter Henriksen is a vertebrate ⇐ (human is subclass of vertebrate), (Petter Henriksen is a human)
- Petter Henriksen is a physical anatomical entity ⇐ (human is subclass of physical anatomical entity), (Petter Henriksen is a human)
- human is for example Petter Henriksen ⇐ (Petter Henriksen is a human), (is a is inverse of is for example)