Deductions
- abstract entity is for example type of fruit ⇐ (type of fruit is a abstract entity), (is a is inverse of is for example)
- type of fruit is a abstract entity ⇐ (metaclass is subclass of abstract entity), (type of fruit is a metaclass)
- simple fruit has quality type of fruit ⇐ (simple fruit is subclass of fruit), (fruit has quality type of fruit)
- entity is for example type of fruit ⇐ (type of fruit is a entity), (is a is inverse of is for example)
- type of fruit is a entity ⇐ (metaclass is subclass of entity), (type of fruit is a metaclass)
- pome has quality type of fruit ⇐ (pome is subclass of fruit), (fruit has quality type of fruit)
- apple has quality type of fruit ⇐ (apple is subclass of fruit), (fruit has quality type of fruit)
- fleshy fruit has quality type of fruit ⇐ (fleshy fruit is subclass of fruit), (fruit has quality type of fruit)
- type of fruit is for example aggregate fruit ⇐ (aggregate fruit is a type of fruit), (is a is inverse of is for example)
- metaclass is for example type of fruit ⇐ (type of fruit is a metaclass), (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)
- type of fruit is for example pome ⇐ (pome is a type of fruit), (is a is inverse of is for example)
- type of fruit is for example simple fruit ⇐ (simple fruit is a type of fruit), (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)
- type of fruit is subclass of entity ⇐ (type of fruit is subclass of class), (class is subclass of entity), (is subclass of is a transitive relation)
- type of fruit is subclass of class ⇐ (type of fruit is subclass of class), (class is subclass of class), (is subclass of is a transitive relation)
- type of fruit is subclass of abstract entity ⇐ (type of fruit is subclass of class), (class is subclass of abstract entity), (is subclass of is a transitive relation)
- type of fruit is subclass of class ⇐ (type of fruit is subclass of type), (type is subclass of class), (is subclass of is a transitive relation)
- inedible fruit has quality type of fruit ⇐ (inedible fruit is subclass of fruit), (fruit has quality type of fruit)
- dry fruit is a type of fruit ⇐ (fleshy fruit is a type of fruit), (fleshy fruit is opposite of dry fruit)