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