Deductions
- type of definition has quality class ⇐ (quality is a class), (type of definition has quality quality)
- type of definition has quality abstract entity ⇐ (property is a abstract entity), (type of definition has quality property)
- type of definition has quality entity ⇐ (property is a entity), (type of definition has quality property)
- conflicts-with constraint has quality type of definition ⇐ (conflicts-with constraint is subclass of definition), (definition has quality type of definition)
- required qualifier constraint has quality type of definition ⇐ (required qualifier constraint is subclass of definition), (definition has quality type of definition)
- metaclass is for example type of definition ⇐ (type of definition is a metaclass), (is a is inverse of is for example)
- entity is for example type of definition ⇐ (type of definition is a entity), (is a is inverse of is for example)
- type of definition has quality property ⇐ (type of definition is a metaclass), (metaclass has quality property)
- type of definition has quality type of property ⇐ (type of definition is a metaclass), (metaclass has quality type of property)
- type of definition has quality quality ⇐ (type of definition is a metaclass), (metaclass has quality quality)
- type of definition has quality criterion ⇐ (type of definition is a metaclass), (metaclass has quality criterion)
- type of definition has quality class ⇐ (type of definition is a metaclass), (metaclass has quality class)
- type of definition has quality existence ⇐ (type of definition is a entity), (entity has quality existence)
- type of definition is a entity ⇐ (metaclass is subclass of entity), (type of definition is a metaclass)
- complex constraint value label has quality type of definition ⇐ (complex constraint value label is subclass of definition), (definition has quality type of definition)
- contemporary constraint has quality type of definition ⇐ (contemporary constraint is subclass of definition), (definition has quality type of definition)
- none-of constraint has quality type of definition ⇐ (none-of constraint is subclass of definition), (definition has quality type of definition)