single-value constraint

Deductions

• single-value constraint is subclass of proposition ⇐ (single-value constraint is subclass of definition), (definition is subclass of proposition), (is subclass of is a transitive relation)
• single-value constraint is subclass of definition ⇐ (single-value constraint is subclass of Wikidata property definition), (Wikidata property definition is subclass of 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)