one-of constraint

Deductions

• one-of constraint is subclass of definition ⇐ (one-of constraint is subclass of property constraint), (property constraint is subclass of 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)