Deductions
- work of art has quality class ⇐ (type of property is subclass of class), (work of art has quality type of property)
- work of art has quality class ⇐ (quality is a class), (work of art has quality quality)
- work of art has quality abstract entity ⇐ (type is a abstract entity), (work of art has quality type)
- work of art has quality entity ⇐ (taxonomic rank is a entity), (work of art has quality taxonomic rank)
- work of art has quality creativity ⇐ (work of art is subclass of creative work), (creative work has quality creativity)
- work of art has quality criterion ⇐ (work of art is subclass of intellectual work), (intellectual work has quality criterion)
- work of art has quality type of property ⇐ (work of art is subclass of intellectual work), (intellectual work has quality type of property)
- work of art has quality quality ⇐ (work of art is subclass of intellectual work), (intellectual work has quality quality)
- work of art has quality class ⇐ (work of art is subclass of intellectual work), (intellectual work has quality class)
- work of art has quality type of object ⇐ (work of art is subclass of intellectual work), (intellectual work has quality type of object)
- work of art has quality genre ⇐ (work of art is subclass of intellectual work), (intellectual work has quality genre)
- work of art has quality artificiality ⇐ (work of art is subclass of intellectual work), (intellectual work has quality artificiality)
- work of art has quality existence ⇐ (work of art is subclass of intellectual work), (intellectual work has quality existence)
- work of art has quality type ⇐ (work of art is subclass of intellectual work), (intellectual work has quality type)
- work of art has quality property ⇐ (work of art is subclass of intellectual work), (intellectual work has quality property)
- concept is for example work of art ⇐ (work of art is a concept), (is a is inverse of is for example)
- work of art has quality extension of a concept ⇐ (work of art is a concept), (concept has quality extension of a concept)
- work of art has quality relation ⇐ (work of art is a concept), (concept has quality relation)
- work of art has quality set ⇐ (work of art is a concept), (concept has quality set)
- work of art has quality superclass ⇐ (work of art is a concept), (concept has quality superclass)
- work of art has quality class ⇐ (work of art is a concept), (concept has quality class)
- work of art has quality mathematical object ⇐ (work of art is a concept), (concept has quality mathematical object)
- work of art has quality taxonomic rank ⇐ (work of art is a concept), (concept has quality taxonomic rank)
- work of art has quality mathematical property ⇐ (work of art is a concept), (concept has quality mathematical property)
- work of art is subclass of intellectual work ⇐ (work of art is subclass of creative work), (creative work is subclass of intellectual work), (is subclass of is a transitive relation)
- science fiction literature is subclass of work of art ⇐ (science fiction literature is subclass of science fiction), (science fiction is subclass of work of art), (is subclass of is a transitive relation)
- science fiction is subclass of work of art ⇐ (science fiction is subclass of fiction), (fiction is subclass of work of art), (is subclass of is a transitive relation)
- speculative fiction is subclass of work of art ⇐ (speculative fiction is subclass of fiction), (fiction is subclass of work of art), (is subclass of is a transitive relation)