Deductions
- type of reasoning has quality class ⇐ (existence is a class), (type of reasoning has quality existence)
- class is for example type of reasoning ⇐ (type of reasoning is a class), (is a is inverse of is for example)
- type of reasoning is a class ⇐ (abstract entity is subclass of class), (type of reasoning is a abstract entity)
- abstract entity is for example type of reasoning ⇐ (type of reasoning is a abstract entity), (is a is inverse of is for example)
- type of reasoning is a abstract entity ⇐ (metaclass is subclass of abstract entity), (type of reasoning is a metaclass)
- type of reasoning has quality entity ⇐ (taxonomic rank is a entity), (type of reasoning has quality taxonomic rank)
- type of reasoning has quality taxonomic rank ⇐ (type of reasoning is subclass of abstract entity), (abstract entity has quality taxonomic rank)
- type of reasoning has quality superclass ⇐ (type of reasoning is subclass of abstract entity), (abstract entity has quality superclass)
- entity is for example type of reasoning ⇐ (type of reasoning is a entity), (is a is inverse of is for example)
- type of reasoning has quality existence ⇐ (type of reasoning is a entity), (entity has quality existence)
- type of reasoning is a entity ⇐ (metaclass is subclass of entity), (type of reasoning is a metaclass)
- metaclass is for example type of reasoning ⇐ (type of reasoning is a metaclass), (is a is inverse of is for example)
- type of reasoning is subclass of entity ⇐ (type of reasoning is subclass of class), (class is subclass of entity), (is subclass of is a transitive relation)
- type of reasoning is subclass of class ⇐ (type of reasoning is subclass of class), (class is subclass of class), (is subclass of is a transitive relation)
- type of reasoning is subclass of abstract entity ⇐ (type of reasoning is subclass of class), (class is subclass of abstract entity), (is subclass of is a transitive relation)
- type of reasoning is subclass of class ⇐ (type of reasoning is subclass of type), (type is subclass of class), (is subclass of is a transitive relation)
- abductive reasoning has quality type of reasoning ⇐ (abductive reasoning is subclass of inference), (inference has quality type of reasoning)