Deductions
- Wikidata property definition is part of Wikidata data model ⇐ (Wikidata property definition is part of ->), (-> is part of Wikidata data model), (is part of is a transitive relation)
- Wikidata property definition is for example as main value ⇐ (as main value is a Wikidata property definition), (is a is inverse of is for example)
- multi-value constraint is subclass of Wikidata property definition ⇐ (single-value constraint is subclass of Wikidata property definition), (single-value constraint is opposite of multi-value constraint)
- as main value is a Wikidata property definition ⇐ (property scope constraint is subclass of Wikidata property definition), (as main value is a property scope constraint)
- item-requires-statement constraint is subclass of Wikidata property definition ⇐ (conflicts-with constraint is subclass of Wikidata property definition), (conflicts-with constraint is opposite of item-requires-statement constraint)
- Wikidata property definition is for example instance of ⇐ (instance of is a Wikidata property definition), (is a is inverse of is for example)
- is a is subclass of Wikidata property definition ⇐ (is for example is subclass of Wikidata property definition), (is for example is inverse of is a)
- complex constraint value label is subclass of Wikidata property definition ⇐ (complex constraint value label is subclass of property constraint), (property constraint is subclass of Wikidata property 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)
- 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)
- is for example is subclass of Wikidata property definition ⇐ (is for example is subclass of relation of type constraint), (relation of type constraint is subclass of Wikidata property definition), (is subclass of is a transitive relation)
- property scope constraint is subclass of Wikidata property definition ⇐ (property scope constraint is subclass of property constraint), (property constraint is subclass of Wikidata property definition), (is subclass of is a transitive relation)
- required qualifier constraint is subclass of Wikidata property definition ⇐ (required qualifier constraint is subclass of property constraint), (property constraint is subclass of Wikidata property definition), (is subclass of is a transitive relation)
- instance of is subclass of Wikidata property definition ⇐ (instance of is subclass of relation of type constraint), (relation of type constraint is subclass of Wikidata property definition), (is subclass of is a transitive relation)
- one-of constraint is subclass of Wikidata property definition ⇐ (one-of constraint is subclass of property constraint), (property constraint is subclass of Wikidata property definition), (is subclass of is a transitive relation)
- single-best-value constraint is subclass of Wikidata property definition ⇐ (single-best-value constraint is subclass of property constraint), (property constraint is subclass of Wikidata property definition), (is subclass of is a transitive relation)
- conflicts-with constraint is subclass of Wikidata property definition ⇐ (conflicts-with constraint is subclass of property constraint), (property constraint is subclass of Wikidata property definition), (is subclass of is a transitive relation)
- allowed-entity-types constraint is subclass of Wikidata property definition ⇐ (allowed-entity-types constraint is subclass of property constraint), (property constraint is subclass of Wikidata property definition), (is subclass of is a transitive relation)
- allowed qualifiers constraint is subclass of Wikidata property definition ⇐ (allowed qualifiers constraint is subclass of property constraint), (property constraint is subclass of Wikidata property definition), (is subclass of is a transitive relation)
- relation of type constraint is subclass of Wikidata property definition ⇐ (relation of type constraint is subclass of property constraint), (property constraint is subclass of Wikidata property definition), (is subclass of is a transitive relation)
- value-type constraint is subclass of Wikidata property definition ⇐ (value-type constraint is subclass of property constraint), (property constraint is subclass of Wikidata property definition), (is subclass of is a transitive relation)
- format constraint is subclass of Wikidata property definition ⇐ (format constraint is subclass of property constraint), (property constraint is subclass of Wikidata property definition), (is subclass of is a transitive relation)
- single-value constraint is subclass of Wikidata property definition ⇐ (single-value constraint is subclass of property constraint), (property constraint is subclass of Wikidata property 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)
- symmetric constraint is subclass of Wikidata property definition ⇐ (symmetric constraint is subclass of property constraint), (property constraint is subclass of Wikidata property definition), (is subclass of is a transitive relation)
- instance of is a Wikidata property definition ⇐ (property constraint is subclass of Wikidata property definition), (instance of is a property constraint)
- is for example is a Wikidata property definition ⇐ (property constraint is subclass of Wikidata property definition), (is for example is a property constraint)