Deductions
- contemporary constraint has quality class ⇐ (abstract entity is a class), (contemporary constraint has quality abstract entity)
- contemporary constraint has quality existence ⇐ (contemporary constraint has quality entity), (entity has quality existence), (has quality is a transitive relation)
- contemporary constraint has quality entity ⇐ (type of definition is a entity), (contemporary constraint has quality type of definition)
- contemporary constraint has quality abstract entity ⇐ (metaclass is subclass of abstract entity), (contemporary constraint has quality metaclass)
- contemporary constraint has quality metaclass ⇐ (type of definition is a metaclass), (contemporary constraint has quality type of definition)
- contemporary constraint has quality type of definition ⇐ (contemporary constraint is subclass of definition), (definition has quality type of definition)
- contemporary constraint is subclass of definition ⇐ (contemporary constraint is subclass of property constraint), (property constraint is subclass of definition), (is subclass of is a transitive relation)
- contemporary constraint is subclass of Wikidata property definition ⇐ (contemporary constraint is subclass of property constraint), (property constraint is subclass of Wikidata property definition), (is subclass of is a transitive relation)