Deductions
- dish has quality superclass ⇐ (dish has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- dish is part of culture ⇐ (dish is part of artificial physical object), (artificial physical object is part of culture), (is part of is a transitive relation)
- dish has quality class ⇐ (quality is a class), (dish has quality quality)
- dish has quality superclass ⇐ (dish has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- dish has quality taxonomic rank ⇐ (dish has quality abstract entity), (abstract entity has quality taxonomic rank), (has quality is a transitive relation)
- dish has quality abstract entity ⇐ (type is a abstract entity), (dish has quality type)
- dish has quality entity ⇐ (type is a entity), (dish has quality type)
- dish is for example completo ⇐ (completo is a dish), (is a is inverse of is for example)
- class is for example dish ⇐ (dish is a class), (is a is inverse of is for example)
- entity is for example dish ⇐ (dish is a entity), (is a is inverse of is for example)
- dish has quality type ⇐ (dish is a class), (class has quality type)
- dish has quality property ⇐ (dish is a class), (class has quality property)
- dish has quality quality ⇐ (dish is a class), (class has quality quality)
- dish has quality criterion ⇐ (dish is a class), (class has quality criterion)
- dish has quality existence ⇐ (dish is a entity), (entity has quality existence)
- dish is a entity ⇐ (class is subclass of entity), (dish is a class)
- completo is a dish ⇐ (fast food is subclass of dish), (completo is a fast food)