simple fruit

Deductions

• simple fruit has quality type of fruit ⇐ (simple fruit is subclass of fruit), (fruit has quality type of fruit)
• type of fruit is for example simple fruit ⇐ (simple fruit is a type of fruit), (is a is inverse of is for example)
• simple fruit is subclass of plant organ ⇐ (simple fruit is subclass of fruit), (fruit is subclass of plant organ), (is subclass of is a transitive relation)
• apple is subclass of simple fruit ⇐ (apple is subclass of pome), (pome is subclass of simple fruit), (is subclass of is a transitive relation)
• pome is subclass of simple fruit ⇐ (pome is subclass of fleshy fruit), (fleshy fruit is subclass of simple fruit), (is subclass of is a transitive relation)