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