Deductions
- beauty has part class ⇐ (entity is a class), (beauty has part entity)
- beauty has quality class ⇐ (beauty has quality property), (property has quality class), (has quality is a transitive relation)
- beauty has part variable-order class ⇐ (beauty is subclass of class), (class has part variable-order class)
- beauty has part entity ⇐ (beauty is subclass of class), (class has part entity)
- beauty has quality criterion ⇐ (beauty is subclass of class), (class has quality criterion)
- beauty has quality abstract entity ⇐ (beauty is subclass of class), (class has quality abstract entity)
- beauty has quality property ⇐ (beauty is subclass of class), (class has quality property)
- beauty has quality quality ⇐ (beauty is subclass of class), (class has quality quality)
- beauty has quality type of property ⇐ (beauty is subclass of class), (class has quality type of property)
- beauty has quality type ⇐ (beauty is subclass of class), (class has quality type)
- beauty has quality class ⇐ (beauty is subclass of entity), (entity has quality class)
- beauty has quality existence ⇐ (beauty is subclass of abstract entity), (abstract entity has quality existence)
- beauty has quality superclass ⇐ (beauty is subclass of abstract entity), (abstract entity has quality superclass)
- beauty has quality taxonomic rank ⇐ (beauty is subclass of abstract entity), (abstract entity has quality taxonomic rank)
- beauty has quality entity ⇐ (beauty is subclass of abstract entity), (abstract entity has quality entity)
- beauty is subclass of abstract entity ⇐ (ugliness is subclass of abstract entity), (ugliness is opposite of beauty)
- beauty is subclass of entity ⇐ (ugliness is subclass of entity), (ugliness is opposite of beauty)
- beauty is subclass of class ⇐ (ugliness is subclass of class), (ugliness is opposite of beauty)
- class is for example beauty ⇐ (beauty is a class), (is a is inverse of is for example)
- beauty is a class ⇐ (ugliness is a class), (ugliness is opposite of beauty)
- concept is for example beauty ⇐ (beauty is a concept), (is a is inverse of is for example)
- entity is for example beauty ⇐ (beauty is a entity), (is a is inverse of is for example)
- abstract entity is for example beauty ⇐ (beauty is a abstract entity), (is a is inverse of is for example)
- beauty is a concept ⇐ (ugliness is a concept), (ugliness is opposite of beauty)
- beauty is a abstract entity ⇐ (ugliness is a abstract entity), (ugliness is opposite of beauty)
- beauty is a entity ⇐ (ugliness is a entity), (ugliness is opposite of beauty)
- type is for example beauty ⇐ (beauty is a type), (is a is inverse of is for example)
- type of value is for example beauty ⇐ (beauty is a type of value), (is a is inverse of is for example)
- class is for example beauty ⇐ (beauty is a class), (is a is inverse of is for example)
- beauty is a class ⇐ (type is subclass of class), (beauty is a type)
- beauty is a type ⇐ (type of value is subclass of type), (beauty is a type of value)
- number theory has quality beauty ⇐ (mathematical beauty is subclass of beauty), (number theory has quality mathematical beauty)
- mathematics has quality beauty ⇐ (mathematical beauty is subclass of beauty), (mathematics has quality mathematical beauty)