Deductions
- pome has quality type of fruit ⇐ (pome is subclass of fruit), (fruit has quality type of fruit)
- class is for example pome ⇐ (pome is a class), (is a is inverse of is for example)
- type is for example pome ⇐ (pome is a type), (is a is inverse of is for example)
- type of fruit is for example pome ⇐ (pome is a type of fruit), (is a is inverse of is for example)
- pome is subclass of fruit ⇐ (pome is subclass of simple fruit), (simple fruit is subclass of 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)
- pome is a class ⇐ (type is subclass of class), (pome is a type)
- pome is a type ⇐ (type of fruit is subclass of type), (pome is a type of fruit)