Deductions
- class of parts has part class ⇐ (entity is a class), (class of parts has part entity)
- class of parts has quality class ⇐ (quality is a class), (class of parts has quality quality)
- class of parts has quality abstract entity ⇐ (type is a abstract entity), (class of parts has quality type)
- class of parts has quality entity ⇐ (type is a entity), (class of parts has quality type)
- class of parts is for example branch of physics ⇐ (branch of physics is a class of parts), (is a is inverse of is for example)
- metaclass is for example class of parts ⇐ (class of parts is a metaclass), (is a is inverse of is for example)
- entity is for example class of parts ⇐ (class of parts is a entity), (is a is inverse of is for example)
- class of parts has quality existence ⇐ (class of parts is a entity), (entity has quality existence)
- class of parts is a entity ⇐ (metaclass is subclass of entity), (class of parts is a metaclass)
- class of parts has quality type ⇐ (criterion is a type), (class of parts has quality criterion)
- class of parts has quality criterion ⇐ (class of parts is subclass of class), (class has quality criterion)
- class of parts has quality quality ⇐ (class of parts is subclass of class), (class has quality quality)
- class of parts has quality property ⇐ (class of parts is subclass of class), (class has quality property)
- class of parts has part variable-order class ⇐ (entity is a variable-order class), (class of parts has part entity)
- class of parts has part entity ⇐ (class of parts is subclass of class), (class has part entity)
- class of parts is for example technical sciences ⇐ (technical sciences is a class of parts), (is a is inverse of is for example)