Deductions
- fruit has quality superclass ⇐ (fruit has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- fruit has quality class ⇐ (abstract entity is a class), (fruit has quality abstract entity)
- class is for example fruit ⇐ (fruit is a class), (is a is inverse of is for example)
- fruit has quality superclass ⇐ (fruit has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- fruit has quality taxonomic rank ⇐ (fruit has quality abstract entity), (abstract entity has quality taxonomic rank), (has quality is a transitive relation)
- fruit is a class ⇐ (abstract entity is subclass of class), (fruit is a abstract entity)
- fruit has quality abstract entity ⇐ (type is a abstract entity), (fruit has quality type)
- tree of the knowledge of good and evil has part fruit ⇐ (forbidden fruit is a fruit), (tree of the knowledge of good and evil has part forbidden fruit)
- abstract entity is for example fruit ⇐ (fruit is a abstract entity), (is a is inverse of is for example)
- fruit is a abstract entity ⇐ (metaclass is subclass of abstract entity), (fruit is a metaclass)
- fruit has quality entity ⇐ (type is a entity), (fruit has quality type)
- metaclass is for example fruit ⇐ (fruit is a metaclass), (is a is inverse of is for example)
- entity is for example fruit ⇐ (fruit is a entity), (is a is inverse of is for example)
- fruit has quality existence ⇐ (fruit is a entity), (entity has quality existence)
- fruit is a entity ⇐ (metaclass is subclass of entity), (fruit is a metaclass)
- fruit has quality type of object ⇐ (class is a type of object), (fruit has quality class)
- fruit is a metaclass ⇐ (inedible fruit is a metaclass), (inedible fruit is opposite of fruit)
- fruit is for example forbidden fruit ⇐ (forbidden fruit is a fruit), (is a is inverse of is for example)
- food group is for example fruit ⇐ (fruit is a food group), (is a is inverse of is for example)
- botanical term is for example fruit ⇐ (fruit is a botanical term), (is a is inverse of is for example)
- fleshy fruit is subclass of fruit ⇐ (dry fruit is subclass of fruit), (dry fruit is opposite of fleshy fruit)
- apple is subclass of fruit ⇐ (apple is subclass of simple fruit), (simple fruit is subclass of fruit), (is subclass of is a transitive relation)
- pome is subclass of fruit ⇐ (pome is subclass of simple fruit), (simple fruit is subclass of fruit), (is subclass of is a transitive relation)
- dry fruit is subclass of fruit ⇐ (dry fruit is subclass of simple fruit), (simple fruit is subclass of fruit), (is subclass of is a transitive relation)