Deductions
- artistic concept has quality type ⇐ (artistic concept has quality class), (class has quality type), (has quality is a transitive relation)
- artistic concept has quality type of property ⇐ (artistic concept has quality class), (class has quality type of property), (has quality is a transitive relation)
- artistic concept has quality criterion ⇐ (artistic concept has quality class), (class has quality criterion), (has quality is a transitive relation)
- artistic concept has quality quality ⇐ (artistic concept has quality class), (class has quality quality), (has quality is a transitive relation)
- artistic concept has quality property ⇐ (artistic concept has quality class), (class has quality property), (has quality is a transitive relation)
- artistic concept has quality class ⇐ (set is a class), (artistic concept has quality set)
- artistic concept has quality class ⇐ (quality is a class), (artistic concept has quality quality)
- artistic concept has quality type ⇐ (artistic concept has quality class), (class has quality type), (has quality is a transitive relation)
- artistic concept has quality type of property ⇐ (artistic concept has quality class), (class has quality type of property), (has quality is a transitive relation)
- artistic concept has quality criterion ⇐ (artistic concept has quality class), (class has quality criterion), (has quality is a transitive relation)
- artistic concept has quality quality ⇐ (artistic concept has quality class), (class has quality quality), (has quality is a transitive relation)
- artistic concept has quality property ⇐ (artistic concept has quality class), (class has quality property), (has quality is a transitive relation)
- artistic concept has quality class ⇐ (set is a class), (artistic concept has quality set)
- artistic concept has quality abstract entity ⇐ (set is a abstract entity), (artistic concept has quality set)
- artistic concept has quality existence ⇐ (artistic concept has quality entity), (entity has quality existence), (has quality is a transitive relation)
- artistic concept has quality entity ⇐ (taxonomic rank is a entity), (artistic concept has quality taxonomic rank)
- artistic concept has quality relation ⇐ (artistic concept is subclass of concept), (concept has quality relation)
- artistic concept has quality set ⇐ (artistic concept is subclass of concept), (concept has quality set)
- artistic concept has quality class ⇐ (artistic concept is subclass of concept), (concept has quality class)
- artistic concept has quality superclass ⇐ (artistic concept is subclass of concept), (concept has quality superclass)
- artistic concept has quality taxonomic rank ⇐ (artistic concept is subclass of concept), (concept has quality taxonomic rank)
- artistic concept has quality mathematical object ⇐ (artistic concept is subclass of concept), (concept has quality mathematical object)
- artistic concept has quality extension of a concept ⇐ (artistic concept is subclass of concept), (concept has quality extension of a concept)
- artistic concept has quality mathematical property ⇐ (artistic concept is subclass of concept), (concept has quality mathematical property)
- artistic concept is for example timbre ⇐ (timbre is a artistic concept), (is a is inverse of is for example)
- artistic concept is subclass of entity ⇐ (artistic concept is subclass of abstract entity), (abstract entity is subclass of entity), (is subclass of is a transitive relation)
- artistic concept is subclass of abstract entity ⇐ (artistic concept is subclass of concept), (concept is subclass of abstract entity), (is subclass of is a transitive relation)
- timbre is a artistic concept ⇐ (musical concept is subclass of artistic concept), (timbre is a musical concept)