Deductions
- entity is for example dry fruit ⇐ (dry fruit is a entity), (is a is inverse of is for example)
- dry fruit is a entity ⇐ (class is subclass of entity), (dry fruit is a class)
- type is for example dry fruit ⇐ (dry fruit is a type), (is a is inverse of is for example)
- type of fruit is for example dry fruit ⇐ (dry fruit is a type of fruit), (is a is inverse of is for example)
- class is for example dry fruit ⇐ (dry fruit is a class), (is a is inverse of is for example)
- 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)
- dry fruit is a class ⇐ (type is subclass of class), (dry fruit is a type)
- dry fruit is a type ⇐ (type of fruit is subclass of type), (dry fruit is a type of fruit)
- dry fruit is a type of fruit ⇐ (fleshy fruit is a type of fruit), (fleshy fruit is opposite of dry fruit)