Deductions
- food group has quality superclass ⇐ (food group has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- food group has quality class ⇐ (quality is a class), (food group has quality quality)
- food group has quality superclass ⇐ (food group has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- food group has quality taxonomic rank ⇐ (food group has quality abstract entity), (abstract entity has quality taxonomic rank), (has quality is a transitive relation)
- food group has quality abstract entity ⇐ (property is a abstract entity), (food group has quality property)
- food group has quality existence ⇐ (food group has quality entity), (entity has quality existence), (has quality is a transitive relation)
- food group has quality entity ⇐ (property is a entity), (food group has quality property)
- food group is for example fruit ⇐ (fruit is a food group), (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)
- food group has quality property ⇐ (quality is subclass of property), (food group has quality quality)
- food group has quality quality ⇐ (criterion is subclass of quality), (food group has quality criterion)
- food group has quality criterion ⇐ (food group is subclass of class), (class has quality criterion)
- inedible fruit is a food group ⇐ (fruit is a food group), (fruit is opposite of inedible fruit)