Deductions
- non-human animal has quality class ⇐ (behavior is a class), (non-human animal has quality behavior)
- non-human animal has quality abstract entity ⇐ (psychology concept is a abstract entity), (non-human animal has quality psychology concept)
- non-human animal is subclass of mammal ⇐ (human is subclass of mammal), (human is opposite of non-human animal)
- non-human animal has quality entity ⇐ (taxonomic rank is a entity), (non-human animal has quality taxonomic rank)
- class is for example non-human animal ⇐ (non-human animal is a class), (is a is inverse of is for example)
- abstract entity is for example non-human animal ⇐ (non-human animal is a abstract entity), (is a is inverse of is for example)
- entity is for example non-human animal ⇐ (non-human animal is a entity), (is a is inverse of is for example)
- non-human animal has quality taxonomic rank ⇐ (non-human animal is a abstract entity), (abstract entity has quality taxonomic rank)
- non-human animal has quality superclass ⇐ (non-human animal is a abstract entity), (abstract entity has quality superclass)
- non-human animal has quality existence ⇐ (non-human animal is a entity), (entity has quality existence)
- non-human animal is a entity ⇐ (organisms known by a particular common name is subclass of entity), (non-human animal is a organisms known by a particular common name)
- non-human animal is a class ⇐ (organisms known by a particular common name is subclass of class), (non-human animal is a organisms known by a particular common name)
- non-human animal is a abstract entity ⇐ (organisms known by a particular common name is subclass of abstract entity), (non-human animal is a organisms known by a particular common name)
- organisms known by a particular common name is for example non-human animal ⇐ (non-human animal is a organisms known by a particular common name), (is a is inverse of is for example)
- group or class of organisms is for example non-human animal ⇐ (non-human animal is a group or class of organisms), (is a is inverse of is for example)
- paraphyletic group is for example non-human animal ⇐ (non-human animal is a paraphyletic group), (is a is inverse of is for example)
- non-human animal is subclass of vertebrate ⇐ (human is subclass of vertebrate), (human is opposite of non-human animal)
- non-human animal has quality topic ⇐ (non-human animal has quality field of study), (field of study has quality topic), (has quality is a transitive relation)
- non-human animal has quality quality ⇐ (non-human animal has quality field of study), (field of study has quality quality), (has quality is a transitive relation)
- non-human animal is subclass of physical anatomical entity ⇐ (non-human animal is subclass of organism), (organism is subclass of physical anatomical entity), (is subclass of is a transitive relation)
- non-human animal is subclass of organism ⇐ (non-human animal is subclass of heterotroph), (heterotroph is subclass of organism), (is subclass of is a transitive relation)
- non-human animal is subclass of heterotroph ⇐ (non-human animal is subclass of animal), (animal is subclass of heterotroph), (is subclass of is a transitive relation)
- non-human animal is a group or class of organisms ⇐ (organisms known by a particular common name is subclass of group or class of organisms), (non-human animal is a organisms known by a particular common name)
- non-human animal has quality field of study ⇐ (animal behavior is a field of study), (non-human animal has quality animal behavior)
- non-human animal has quality psychology concept ⇐ (behavior is a psychology concept), (non-human animal has quality behavior)
- non-human animal has quality behavior ⇐ (animal behavior is subclass of behavior), (non-human animal has quality animal behavior)
- non-human animal has quality animal behavior ⇐ (non-human animal is subclass of animal), (animal has quality animal behavior)
- non-human animal is a organisms known by a particular common name ⇐ (human is a organisms known by a particular common name), (human is opposite of non-human animal)