Deductions
- class is for example artistic theme ⇐ (artistic theme is a class), (is a is inverse of is for example)
- artistic theme is a class ⇐ (abstract entity is subclass of class), (artistic theme is a abstract entity)
- abstract entity is for example artistic theme ⇐ (artistic theme is a abstract entity), (is a is inverse of is for example)
- artistic theme has quality entity ⇐ (artistic theme is a abstract entity), (abstract entity has quality entity)
- artistic theme has quality superclass ⇐ (artistic theme is a abstract entity), (abstract entity has quality superclass)
- artistic theme has quality taxonomic rank ⇐ (artistic theme is a abstract entity), (abstract entity has quality taxonomic rank)
- artistic theme is a abstract entity ⇐ (metaclass is subclass of abstract entity), (artistic theme is a metaclass)
- entity is for example artistic theme ⇐ (artistic theme is a entity), (is a is inverse of is for example)
- artistic theme has quality existence ⇐ (artistic theme is a entity), (entity has quality existence)
- artistic theme is a entity ⇐ (metaclass is subclass of entity), (artistic theme is a metaclass)
- metaclass is for example artistic theme ⇐ (artistic theme is a metaclass), (is a is inverse of is for example)
- artistic theme is for example seven prismatic colors ⇐ (seven prismatic colors is a artistic theme), (is a is inverse of is for example)