Wikidata constraint scope
Deductions
- Wikidata constraint scope is subclass of definition ⇐ (Wikidata constraint scope is subclass of Wikidata property definition), (Wikidata property definition is subclass of definition), (is subclass of is a transitive relation)
- Wikidata constraint scope is subclass of Wikidata property definition ⇐ (Wikidata constraint scope is subclass of property constraint), (property constraint is subclass of Wikidata property definition), (is subclass of is a transitive relation)