inverse constraint

Deductions

• inverse constraint is subclass of definition ⇐ (inverse constraint is subclass of property constraint), (property constraint is subclass of definition), (is subclass of is a transitive relation)
• inverse constraint is subclass of Wikidata property definition ⇐ (inverse constraint is subclass of property constraint), (property constraint is subclass of Wikidata property definition), (is subclass of is a transitive relation)
• inverse constraint is subclass of property constraint ⇐ (inverse constraint is subclass of value-requires-statement constraint), (value-requires-statement constraint is subclass of property constraint), (is subclass of is a transitive relation)