Deductions
- comics has quality superclass ⇐ (comics has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- comics has quality class ⇐ (quality is a class), (comics has quality quality)
- comics has quality superclass ⇐ (comics has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- comics has quality taxonomic rank ⇐ (comics has quality abstract entity), (abstract entity has quality taxonomic rank), (has quality is a transitive relation)
- comics has quality abstract entity ⇐ (property is a abstract entity), (comics has quality property)
- comics has quality entity ⇐ (property is a entity), (comics has quality property)
- type is for example comics ⇐ (comics is a type), (is a is inverse of is for example)
- comics has quality property ⇐ (comics is a type), (type has quality property)
- comics has quality criterion ⇐ (comics is a type), (type has quality criterion)
- comics has quality type of property ⇐ (comics is a type), (type has quality type of property)
- comics has quality quality ⇐ (comics is a type), (type has quality quality)
- comics has quality class ⇐ (comics is a type), (type has quality class)
- comics has quality existence ⇐ (comics is a type), (type has quality existence)
- comics is a type ⇐ (type of arts is subclass of type), (comics is a type of arts)
- type of arts is for example comics ⇐ (comics is a type of arts), (is a is inverse of is for example)