Deductions
- inedible fruit has quality class ⇐ (quality is a class), (inedible fruit has quality quality)
- class is for example inedible fruit ⇐ (inedible fruit is a class), (is a is inverse of is for example)
- inedible fruit is a class ⇐ (abstract entity is subclass of class), (inedible fruit is a abstract entity)
- inedible fruit has quality abstract entity ⇐ (type is a abstract entity), (inedible fruit has quality type)
- abstract entity is for example inedible fruit ⇐ (inedible fruit is a abstract entity), (is a is inverse of is for example)
- inedible fruit has quality superclass ⇐ (inedible fruit is a abstract entity), (abstract entity has quality superclass)
- inedible fruit has quality taxonomic rank ⇐ (inedible fruit is a abstract entity), (abstract entity has quality taxonomic rank)
- inedible fruit has quality existence ⇐ (inedible fruit has quality entity), (entity has quality existence), (has quality is a transitive relation)
- inedible fruit is a abstract entity ⇐ (metaclass is subclass of abstract entity), (inedible fruit is a metaclass)
- inedible fruit has quality entity ⇐ (type is a entity), (inedible fruit has quality type)
- entity is for example inedible fruit ⇐ (inedible fruit is a entity), (is a is inverse of is for example)
- inedible fruit is a entity ⇐ (metaclass is subclass of entity), (inedible fruit is a metaclass)
- inedible fruit has quality type of object ⇐ (class is a type of object), (inedible fruit has quality class)
- metaclass is for example inedible fruit ⇐ (inedible fruit is a metaclass), (is a is inverse of is for example)
- food group is for example inedible fruit ⇐ (inedible fruit is a food group), (is a is inverse of is for example)
- inedible fruit has quality quality ⇐ (inedible fruit has quality class), (class has quality quality), (has quality is a transitive relation)
- inedible fruit has quality property ⇐ (inedible fruit has quality class), (class has quality property), (has quality is a transitive relation)
- inedible fruit has quality criterion ⇐ (inedible fruit has quality class), (class has quality criterion), (has quality is a transitive relation)
- inedible fruit has quality class ⇐ (type is subclass of class), (inedible fruit has quality type)
- inedible fruit has quality type ⇐ (type of fruit is subclass of type), (inedible fruit has quality type of fruit)
- inedible fruit has quality type of fruit ⇐ (inedible fruit is subclass of fruit), (fruit has quality type of fruit)
- inedible fruit is a food group ⇐ (fruit is a food group), (fruit is opposite of inedible fruit)