Deductions
- reasoning has quality class ⇐ (abstract entity is a class), (reasoning has quality abstract entity)
- reasoning has quality existence ⇐ (reasoning has quality entity), (entity has quality existence), (has quality is a transitive relation)
- reasoning has quality entity ⇐ (taxonomic rank is a entity), (reasoning has quality taxonomic rank)
- reasoning has quality abstract entity ⇐ (type of reasoning is subclass of abstract entity), (reasoning has quality type of reasoning)
- reasoning has quality type of object ⇐ (class is a type of object), (reasoning has quality class)
- reasoning is subclass of entity ⇐ (reasoning is subclass of abstract entity), (abstract entity is subclass of entity), (is subclass of is a transitive relation)
- reasoning has quality taxonomic rank ⇐ (superclass is a taxonomic rank), (reasoning has quality superclass)
- reasoning has quality class ⇐ (type is subclass of class), (reasoning has quality type)
- reasoning has quality type ⇐ (type of reasoning is subclass of type), (reasoning has quality type of reasoning)
- reasoning has quality superclass ⇐ (reasoning is subclass of abstract entity), (abstract entity has quality superclass)