Deductions
- fleshy fruit has quality class ⇐ (existence is a class), (fleshy fruit has quality existence)
- entity is for example fleshy fruit ⇐ (fleshy fruit is a entity), (is a is inverse of is for example)
- fleshy fruit has quality existence ⇐ (fleshy fruit is a entity), (entity has quality existence)
- fleshy fruit is a entity ⇐ (class is subclass of entity), (fleshy fruit is a class)
- fleshy fruit has quality type of fruit ⇐ (fleshy fruit is subclass of fruit), (fruit has quality type of fruit)
- class is for example fleshy fruit ⇐ (fleshy fruit is a class), (is a is inverse of is for example)
- type is for example fleshy fruit ⇐ (fleshy fruit is a type), (is a is inverse of is for example)
- type of fruit is for example fleshy fruit ⇐ (fleshy fruit is a type of fruit), (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 fleshy fruit ⇐ (apple is subclass of pome), (pome is subclass of fleshy fruit), (is subclass of is a transitive relation)
- fleshy fruit is a class ⇐ (type is subclass of class), (fleshy fruit is a type)
- fleshy fruit is a type ⇐ (type of fruit is subclass of type), (fleshy fruit is a type of fruit)