Deductions
- category for school of thought has quality type ⇐ (category for school of thought has quality class), (class has quality type), (has quality is a transitive relation)
- science fiction fandom has quality category for school of thought ⇐ (science fiction fandom is a school of thought), (school of thought has quality category for school of thought)
- category for school of thought has quality abstract entity ⇐ (category for school of thought is subclass of type), (type has quality abstract entity)
- category for school of thought has quality existence ⇐ (category for school of thought is subclass of type), (type has quality existence)
- category for school of thought has quality taxonomic rank ⇐ (category for school of thought is subclass of type), (type has quality taxonomic rank)
- category for school of thought has quality class ⇐ (category for school of thought is subclass of type), (type has quality class)
- category for school of thought has quality quality ⇐ (category for school of thought is subclass of type), (type has quality quality)
- category for school of thought has quality type of property ⇐ (category for school of thought is subclass of type), (type has quality type of property)
- category for school of thought has quality criterion ⇐ (category for school of thought is subclass of type), (type has quality criterion)
- category for school of thought has quality property ⇐ (category for school of thought is subclass of type), (type has quality property)
- category for school of thought has quality entity ⇐ (category for school of thought is subclass of type), (type has quality entity)
- category for school of thought has quality superclass ⇐ (category for school of thought is subclass of type), (type has quality superclass)
- metaclass is for example category for school of thought ⇐ (category for school of thought is a metaclass), (is a is inverse of is for example)
- abstract entity is for example category for school of thought ⇐ (category for school of thought is a abstract entity), (is a is inverse of is for example)
- category for school of thought is a abstract entity ⇐ (metaclass is subclass of abstract entity), (category for school of thought is a metaclass)
- underground culture has quality category for school of thought ⇐ (underground culture is subclass of school of thought), (school of thought has quality category for school of thought)
- subculture has quality category for school of thought ⇐ (subculture is subclass of school of thought), (school of thought has quality category for school of thought)